软件工程-实验五 单元测试
一、实验目的
1、掌握单元测试的方法;
2、学习XUnit测试原理及框架;
3、学习使用测试框架进行单元测试的方法和过程。
二、实验内容与要求
1、了解单元测试的原理与框架
1.1 单元测试原理
单元测试(unit testing),是指对软件中的最小可测试单元进行检查和验证。对于单元测试中单元的含义,一般来说,要根据实际情况去判定其具体含义,如C语言中单元指一个函数,Java里单元指一个类,图形化的软件中可以指一个窗口或一个菜单等。总的来说,单元就是人为规定的最小的被测功能模块。单元测试是在软件开发过程中要进行的最低级别的测试活动,软件的独立单元将在与程序的其他部分相隔离的情况下进行测试。单元测试是由程序员自己来完成,最终受益的也是程序员自己。可以这么说,程序员有责任编写功能代码,同时也就有责任为自己的代码编写单元测试。执行单元测试,就是为了证明这段代码的行为和我们期望的一致。
单元测试的内容包括:模块接口测试、局部数据结构测试、路径测试、错误处理测试、边界测试
(1)模块接口测试
模块接口测试是单元测试的基础。只有在数据能正确流入、流出模块的前提下,其他测试才有意义。模块接口测试也是集成测试的重点,这里进行的测试主要是为后面打好基础。测试接口正确与否应该考虑下列因素:
-输入的实际参数与形式参数的个数是否相同
-输入的实际参数与形式参数的属性是否匹配
-输入的实际参数与形式参数的量纲是否一致
-调用其他模块时所给实际参数的个数是否与被调模块的形参个数相同;
-调用其他模块时所给实际参数的属性是否与被调模块的形参属性匹配;
-调用其他模块时所给实际参数的量纲是否与被调模块的形参量纲一致;
-调用预定义函数时所用参数的个数、属性和次序是否正确;
-是否存在与当前入口点无关的参数引用;
-是否修改了只读型参数;
-对全程变量的定义各模块是否一致;
-是否把某些约束作为参数传递。
如果模块功能包括外部输入输出,还应该考虑下列因素:
-文件属性是否正确;
-OPEN/CLOSE语句是否正确;
-格式说明与输入输出语句是否匹配;
-缓冲区大小与记录长度是否匹配;
-文件使用前是否已经打开;
-是否处理了文件尾;
-是否处理了输入/输出错误;
-输出信息中是否有文字性错误。
-局部数据结构测试;
-边界条件测试;
-模块中所有独立执行通路测试;
(2)局部数据结构测试
检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确,局部功能是整个功能运行的基础。重点是一些函数是否正确执行,内部是否运行正确。局部数据结构往往是错误的根源,应仔细设计测试用例,力求发现下面几类错误:
-不合适或不相容的类型说明;
-变量无初值;
-变量初始化或省缺值有错;
-不正确的变量名(拼错或不正确地截断);
-出现上溢、下溢和地址异常。
(3)边界条件测试
边界条件测试是单元测试中最重要的一项任务。众所周知,软件经常在边界上失效,采用边界值分析技术,针对边界值及其左、右设计测试用例,很有可能发现新的错误。边界条件测试是一项基础测试,也是后面系统测试中的功能测试的重点,边界测试执行的较好,可以大大提高程序健壮性。
(4)独立路径测试
在模块中应对每一条独立执行路径进行测试,单元测试的基本任务是保证模块中每条语句至少执行一次。测试目的主要是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。具体做法就是程序员逐条调试语句。常见的错误包括:
-误解或用错了算符优先级;
-混合类型运算;
-变量初值错;
-精度不够;
-表达式符号错。
(5)错误处理测试
检查模块的错误处理功能是否包含有错误或缺陷。例如,是否拒绝不合理的输入;出错的描述是否难以理解、是否对错误定位有误、是否出错原因报告有误、是否对错误条件的处理不正确;在对错误处理之前错误条件是否已经引起系统的干预等。
通常单元测试在编码阶段进行。在源程序代码编制完成,经过评审和验证,确认没有语法错误之后,就开始进行单元测试的测试用例设计。利用设计文档,设计可以验证程序功能、找出程序错误的多个测试用例。对于每一组输入,应有预期的正确结果。
1.2 测试框架
xUnit是各种代码驱动测试框架的统称,这些框架可以测试 软件的不同内容(单元),比如函数和类。xUnit框架的主要优点是,它提供了一个自动化测试的解决方案。可以避免多次编写重复的测试代码。
底层是xUnit的framwork,xUnit的类库,提供了对外的功能方法、工具类、api等
TestCase(具体的测试用例)去使用framwork
TestCase执行后会有TestResult
使用TestSuite控制TestCase的组合
TestRunner执行器,负责执行case
TestListener过程监听,监听case成功失败以及数据结果,输出到结果报告中
Unit测试框架包括四个要素:
(1)测试目标(对象)
一组认定被测对象或被测程序单元测试成功的预定条件或预期结果的设定。Fixture就是被测试的目标,可以是一个函数、一组对象或一个对象。 测试人员在测试前应了解被测试的对象的功能或行为。
(2)测试集
测试集是一组测试用例,这些测试用例要求有相同的测试Fixture,以保证这些测试不会出现管理上的混乱。
(3)测试执行
单个单元测试的执行可以按下面的方式进行:
第一步 编写 setUp() 函数,目的是:建立针对被测试单元的独立测试环境;举个例子,这可能包含创建临时或代理的数据库、目录,再或者启动一个服务器进程。
第二步 编写所有测试用例的测试体或者测试程序;
第三步 编写tearDown()函数,目的是:无论测试成功还是失败,都将环境进行清理,以免影响后续的测试;
(4)断言
断言实际上就是验证被测程序在测试中的行为或状态的一个函数或者宏。断言的失败会引发异常,终止测试的执行。
1.3 面向特定语言的,基于xUnit框架的自动化测试框架
JUnit : 主要测试用Java语言编写的代码
CPPunit:主要测试用C++语言编写的代码
unittest , PyUnit:主要测试用python语言编写的代码
MiniUnit: 主要用于测试C语言编写的代码
三 实验过程
我们结对编程试验所写的代码是c语言的,所以我们最终采取了miniunit进行代码的单元测试,测试内容如下:
#include<stdio.h> #include <stdlib.h> #include <time.h> #include "miniunit.h" int right=0; int wrong=0; int numb1,numb2,i; //随机生成的数值 int op1; //运算符 FILE *fp; //定义文件流指针 FILE *fb; int test(int numb1,int numb2,int max,int i) { int gcd(int numb1,int numb2); int temp;//中间值 int result; op1=rand()%4+1; //op1的生成值为1到4,分别对应加法,减法,乘法,除法 fb=fopen("Exercises.txt","a"); fp=fopen("Answers.txt","a");//打开文件 switch(op1) { case 1: while (numb1+numb2>100) { numb1=rand()%100+1; numb2=rand()%100+1; } printf("题目%d:%d+%d=",i,numb1,numb2); fprintf(fb,"题目%d:%d+%d=\n",i,numb1,numb2); fclose(fb); scanf("%d",&result); if((numb1+numb2)==result) { printf("回答正确!\n"); right++; } else { printf("回答错误!\n"); printf("正确答案是:%d",numb1+numb2); printf("\n"); wrong++; } fprintf(fp,"题目%d:%d+%d=%d\n",i,numb1,numb2,numb1+numb2); //写入文件 fclose(fp); //关闭文件 break; case 2 : //op1为2的时候,执行减法操作; if(numb1<numb2) //为保证结果不为零,当出现生成的被减数比减数小,进行两者值的交换 { temp=numb1; numb2=numb1; numb1=temp; } printf("题目%d:%d-%d=",i,numb1,numb2); fprintf(fb,"题目%d:%d-%d = \n",i,numb1,numb2); fclose(fb); scanf("%d",&result); if((numb1-numb2)==result) { printf("回答正确!\n"); right++; } else { printf("回答错误!\n"); printf("正确答案是:%d",numb1-numb2); printf("\n"); wrong++; } fprintf(fp,"题目%d:%d-%d = %d\n",i,numb1,numb2,numb1-numb2); fclose(fp); break; case 3 : //op1为3的时候,执行乘法操作; while (numb1*numb2>100) { numb1=rand()%max+1; numb2=rand()%max+1; } printf("题目%d:%d*%d=",i,numb1,numb2); fprintf(fb,"题目%d:%d-%d = \n",i,numb1,numb2); fclose(fb); scanf("%d",&result); if((numb1*numb2)==result) { printf("回答正确!\n"); right++; } else { printf("回答错误!\n"); printf("正确答案是:%d",numb1*numb2); printf("\n"); wrong++; } fprintf(fp,"题目%d:%d*%d = %d\n",i,numb1,numb2,numb1*numb2); fclose(fp); break; case 4 : while(numb1%numb2!=0) { numb1=rand()%100+1; numb2=rand()%100+1; } printf("题目%d:%d/%d=",i,numb1,numb2); fprintf(fb,"题目%d:%d/%d = \n",i,numb1,numb2); fclose(fb); scanf("%d",&result); if(numb1/numb2==result) { printf("回答正确!\n"); right++; } else { printf("回答错误!\n"); printf("正确答案是:%d",numb1/numb2); printf("\n"); wrong++; } fprintf(fp,"题目%d:%d/%d = %d/%d\n",i,numb1,numb2,numb1/temp,numb2/temp); fclose(fp); break; default:printf("ERROR\n"); } for(int a=1;a<=10;a++) { mu_run_test(test(n)); } return 0; } int main() { int subnumber,max; int operationone(int numb1,int numb2,int max,int i); //函数的声明 FILE *fp; fp=fopen("Exercises.txt","w"); fp=fopen("Answers.txt","w"); //建立文件 fclose(fp); srand((unsigned)time(0)); //为保证每次运行程序的时候生成的题目都不一样 printf("************随机生成四则运算题目************\n"); printf("请输入题目数量:\n"); scanf("%d",&subnumber); for(i=1;i<=subnumber;i++) //for循环生成题目 { numb1=rand()%100+1; numb2=rand()%100+1; operationone(numb1,numb2,max,i); //执行函数的同时得同时执行把表达式输出到txt文件中 } printf("您总共完成了 %d 道题\n正确 %d 道\n错误 %d 道\n总分为 %d\n",right+wrong,right,wrong,right*10+wrong*0); mu_test_results(): return 0; }
根据在网上查找的相关miniunit测试代码,再加上一些修改,存为miniunit.h,然后在源代码中我们以头文件的方式调用
miniunit,h代码如下:
// The MIT License (MIT) // Copyright (c) 2018 Bo Zhuang <sdzhuangbo@hotmail.com> /** * A small unit test framework for C/C++. * * Features: * - `mu_assert(expr)` assertion fail if `expr` false * - `mu_assert(expr, message)` assertion with message * - `mu_assert(expr, message, args...)` assertion with message and args * - `mu_run_test(test)` to run a test function in form `int f()` * return 0 if passed * - `mu_test_results()` to display the test results * - `#define MU_NOCOLOR` if ANSI escape code not supported * * For example, * <code> * #include "miniunit.h" * * int test_one() { * mu_assert(2 + 2 == 4); * return 0; // 0 means test passed * } * * int test_two() { * int a = 3, b = 5; * mu_assert(a == 3); * mu_assert(b == 5, "b is 5"); * mu_assert(a + b == 7, "should be %d", a + b); // fail * return 0; * } * * int main() * { * mu_run_test(test_one); * mu_run_test(test_two); * * mu_test_results(); * * return 0; * } * </code> */ #ifndef MINI_UNIT_H #define MINI_UNIT_H #include <stdio.h> /* Count of args */ #define VA_NARG(args...) VA_NARG_(0, ##args, VA_RSEQ_N()) #define VA_NARG_(args...) VA_ARG_N(args) #define VA_ARG_N(_0, a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, N, ...) N #define VA_RSEQ_N() 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0 /* The first arg */ #define VA_FIRST(args...) VA_FIRST_(args) #define VA_FIRST_(F, ...) F /* The first arg in string */ #define VA_FIRST_STR(args...) VA_FIRST_STR_(args) #define VA_FIRST_STR_(F, ...) #F /* The rest args */ #define VA_REST(args...) VA_REST_(args) #define VA_REST_(F, args...) args /* Define MU_NOCOLOR if not linux */ #ifndef __linux__ #ifndef MU_NOCOLOR #define MU_NOCOLOR #endif #endif /* not linux */ /* ANSI escape code */ #ifdef MU_NOCOLOR #define NULSTR "" #define RST NULSTR #define BOLD NULSTR #define UNDL NULSTR /* foreground */ #define FBLK NULSTR #define FRED NULSTR #define FGRN NULSTR #define FYEL NULSTR #define FBLU NULSTR #define FMAG NULSTR #define FCYN NULSTR #define FWHT NULSTR #else /* MU_NOCOLOR */ #define RST "\x1B[0m" #define BOLD "\x1B[1m" #define UNDL "\x1B[4m" /* foreground */ #define FBLK "\x1B[30m" #define FRED "\x1B[31m" #define FGRN "\x1B[32m" #define FYEL "\x1B[33m" #define FBLU "\x1B[34m" #define FMAG "\x1B[35m" #define FCYN "\x1B[36m" #define FWHT "\x1B[37m" #endif /* MU_NOCOLOR */ #define ENDL RST "\n" #define BORED BOLD FRED #define BOGRN BOLD FGRN #define BOYEL BOLD FYEL #define BOWHT BOLD FWHT #ifdef __linux__ #define FAIL "✘" #define PASS "✔" #else /* for others */ #define FAIL "FAIL" #define PASS "PASS" #endif /* __linux__ */ #define mu_assert(test...) \ do \ { \ if (!(VA_FIRST(test))) \ { \ printf(BORED FAIL ENDL \ "|\\_[" BORED "FAIL" RST \ "] at " BOWHT "./%s:%d" RST \ " for '" BOYEL "%s" RST "' ", \ __FILE__, __LINE__, VA_FIRST_STR(test)); \ if (VA_NARG(test) == 1) \ printf(BORED FAIL); \ else \ printf(BORED FAIL " " FMAG VA_REST(test)); \ printf(ENDL); \ return 1; \ } \ } while (0) static int n_test; /* number of tests */ static int n_pass; /* number of tests passed */ static int n_fail; /* number of tests failed */ #define mu_run_test(test) \ do \ { \ ++n_test; \ printf("|- " BOWHT "%s" FBLK " ./%s:%d ... " RST, \ #test, __FILE__, __LINE__); \ if (!test()) \ { \ ++n_pass; \ printf(BOGRN PASS ENDL); \ } \ else \ ++n_fail; \ } while (0) void mu_test_results() { printf("\\_________________________________\n"); printf(BOGRN "%d " PASS RST " and ", n_pass); printf(n_fail ? BORED "%d " FAIL : BOLD FBLK "%d " FAIL, n_fail); printf(RST " in " BOWHT "%d" RST " TEST(S)" ENDL, n_test); if (n_pass == n_test) printf(BOGRN "==== ALL TESTS PASSED ====" ENDL); else printf(BORED "#### %d TEST(S) FAILED ####" ENDL, n_fail); } #endif /* MINI_UNIT_H */
下面进行测试,测试的代码如下:
进行测试:
测试结果,根据结果可知代吗符合测试要求
最后push到仓库有
思考题
答:经过思考我认为工匠一的做法好,通过这次单元测试的学习,工匠一的做法更符合单元测试的思想,分模块进行,分模块检测,容易观察是否出错,出错了修正也方便;如果是工匠二的做法,全部砌完再检查,相当于编码没有分功能模块,都在一起,在进行单元测试时代码不易检测,即不宜调整砖块水平。
实验小结
通过这次实验,我对XUnit测试原理及框架有了一定的了解,由于我这次的实验代码是c语言的,开始我们选择了cppunit来测试代码,开始在VC6.0上安装,但是在生成cppunit的库文件时一直显示错误,看到博客上有人用VS,但是我没有安装VS,所以最后选择了miniunit来进行测试,过程有点曲折,不过学到了很多。