实验五 单元测试

一、实验目的

1）掌握单元测试的方法

2) 学习XUnit测试原理及框架；

3）掌握使用测试框架进行单元测试的方法和过程。

二、实验内容与要求

1、了解单元测试的原理与框架

 1.1 单元测试原理

  单元测试（unit testing），是指对软件中的最小可测试单元进行检查和验证。对于单元测试中单元的含义，一般来说，要根据实际情况去判定其具体含义，如C语言中单元指一个函数，Java里单元指一个类，图形化的软件中可以指一个窗口或一个菜单等。总的来说，单元就是人为规定的最小的被测功能模块。单元测试是在软件开发过程中要进行的最低级别的测试活动，软件的独立单元将在与程序的其他部分相隔离的情况下进行测试。单元测试是由程序员自己来完成，最终受益的也是程序员自己。可以这么说，程序员有责任编写功能代码，同时也就有责任为自己的代码编写单元测试。执行单元测试，就是为了证明这段代码的行为和我们期望的一致。

单元测试的内容包括

  模块接口测试、局部数据结构测试、路径测试、错误处理测试、边界测试

（1）模块接口测试

模块接口测试是单元测试的基础。只有在数据能正确流入、流出模块的前提下，其他测试才有意义。模块接口测试也是集成测试的重点，这里进行的测试主要是为后面打好基础。测试接口正确与否应该考虑下列因素： 

    -输入的实际参数与形式参数的个数是否相同 

    -输入的实际参数与形式参数的属性是否匹配 

    -输入的实际参数与形式参数的量纲是否一致 

    -调用其他模块时所给实际参数的个数是否与被调模块的形参个数相同； 

    -调用其他模块时所给实际参数的属性是否与被调模块的形参属性匹配； 

    -调用其他模块时所给实际参数的量纲是否与被调模块的形参量纲一致； 

    -调用预定义函数时所用参数的个数、属性和次序是否正确； 

    -是否存在与当前入口点无关的参数引用； 

    -是否修改了只读型参数； 

    -对全程变量的定义各模块是否一致； 

    -是否把某些约束作为参数传递。

如果模块功能包括外部输入输出，还应该考虑下列因素： 

-文件属性是否正确； 

-OPEN/CLOSE语句是否正确； 

-格式说明与输入输出语句是否匹配； 

-缓冲区大小与记录长度是否匹配； 

-文件使用前是否已经打开； 

-是否处理了文件尾； 

-是否处理了输入/输出错误； 

-输出信息中是否有文字性错误。 

-局部数据结构测试； 

-边界条件测试； 

-模块中所有独立执行通路测试；

（2）局部数据结构测试

    检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确，局部功能是整个功能运行的基础。重点是一些函数是否正确执行，内部是否运行正确。局部数据结构往往是错误的根源，应仔细设计测试用例，力求发现下面几类错误： 

-不合适或不相容的类型说明； 

-变量无初值； 

-变量初始化或省缺值有错； 

-不正确的变量名（拼错或不正确地截断）； 

-出现上溢、下溢和地址异常。

（3）边界条件测试

    边界条件测试是单元测试中最重要的一项任务。众所周知，软件经常在边界上失效，采用边界值分析技术，针对边界值及其左、右设计测试用例，很有可能发现新的错误。边界条件测试是一项基础测试，也是后面系统测试中的功能测试的重点，边界测试执行的较好，可以大大提高程序健壮性。

（4）独立路径测试

    在模块中应对每一条独立执行路径进行测试，单元测试的基本任务是保证模块中每条语句至少执行一次。测试目的主要是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。具体做法就是程序员逐条调试语句。常见的错误包括： 

-误解或用错了算符优先级； 

-混合类型运算； 

-变量初值错； 

-精度不够； 

-表达式符号错。

（5）错误处理测试

   检查模块的错误处理功能是否包含有错误或缺陷。例如，是否拒绝不合理的输入;出错的描述是否难以理解、是否对错误定位有误、是否出错原因报告有误、是否对错误条件的处理不正确;在对错误处理之前错误条件是否已经引起系统的干预等。

     通常单元测试在编码阶段进行。在源程序代码编制完成，经过评审和验证，确认没有语法错误之后，就开始进行单元测试的测试用例设计。利用设计文档，设计可以验证程序功能、找出程序错误的多个测试用例。对于每一组输入，应有预期的正确结果。

1.2 测试框架

xUnit是各种代码驱动测试框架的统称,这些框架可以测试 软件的不同内容(单元),比如函数和类。xUnit框架的主要优点是,它提供了一个自动化测试的解决方案。可以避免多次编写重复的测试代码。

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进行单元测试

1、源码

#include<stdio.h>
#include<stdlib.h>
int n=0,k=1; //定义全局变量

void Question(float k);

int main()
{
printf("欢迎进入四则运算小程序！");
int Qurstions_Number,Serial_Number;
int YourAnswer,TrueAnswer;
while(k==1)
{
printf("\n请输入您需要计算的题目数量：");
scanf("%d",&Qurstions_Number) ;
while(Qurstions_Number>=10)
{
printf("\n对不起，您要求的题目数量已经超出题库范围！请重新输入您需要计算的题目数量：");
scanf("%d",&Qurstions_Number) ;
while(Qurstions_Number<=0)
{
printf("\n对不起，您要求的题目数量非法！请重新输入您需要计算的题目数量：");
scanf("%d",&Qurstions_Number) ;
}
}
for(Serial_Number=0;Serial_Number<Qurstions_Number;Serial_Number++)
{
printf("\n\n请回答第%d题:",Serial_Number+1);
n=Serial_Number;
if(n==0)
{
printf("123+234=");
TrueAnswer=357;
}
else if(n==1)
{
printf("857-520=");
TrueAnswer=337;
}
else if(n==2)
{
printf("85*94=");
TrueAnswer=7990;
}
else if(n==3)
{
printf("1024/128=");
TrueAnswer=8;
}
else if(n==4)
{
printf("(123+234)*8-789=");
TrueAnswer=2067;
}
else if(n==6)
{
printf("999/333+222-111=");
TrueAnswer=114;
}
else if(n==7)
{
printf("12*125-4*125=");
TrueAnswer=1000;
}
else if(n==8)
{
printf("3.14*125-5*24*3.14=");
TrueAnswer=15.7;
}
else if(n==9)
{
printf("(111*4+2775/5)/45=");
TrueAnswer=22.2;
}
else if(n==10)
{
printf("1000/64x15=");
TrueAnswer=234.357;
}
else
{
printf("123+234=");
TrueAnswer=0;
}
//TrueAnswer=Question(Serial_Number);
scanf("%f",&YourAnswer);
if(TrueAnswer==YourAnswer)
printf("\n恭喜你回答正确！");
else
printf("\n对不起回答错误，正确答案是：%f",TrueAnswer);
}
printf("\n\n您已经回答完所有的问题了，感谢您的使用！");
printf("\n\n是否继续使用本程序：1.是 ;0.否\n请选择：");
scanf("%d",&k);
while(k!=1&&k!=0)
{
printf("\n(上次输入非法，请重新选择)是否继续使用本程序：1.是 ;0.否");
scanf("%d",&k);
}
system("cls");
}
printf("\n\n本次服务已结束，感谢您的使用！\n\n");
}

2、测试用例设计

  （1）边界值分析法：

在进行数的取值的时候，采用一些处于边界的数值，例如65+35,49+51等这样的式子，来判断程序能否正确运行

加法测试用例

由于产生和为100内的加法

设计正常测试用例

2+3=5

边界测试用例

55+45=100

56+45=101

期望输出：

加法测试结果如下
2+3=
55+45=

减法测试用例

100之内的减法，且差不可以小于0

设计正常测试用例

5-4=1

边界测试用例

3-3=0

1-2=-1

期望输出

减法测试结果如下
5-4=
3-3=

乘法测试用例

乘积小于等于100

设计正常测试用例

2*3=6

0乘用例

0*3=0

边界测试用例

10*10=100

11*10=110

期望输出

乘法测试结果如下
2*3=
0*3=
10*10=

除法测试用例

100以内除法，除数不可为0且必须整除

正常测试用例

6/2=3

不可整除用例

5/3=1

被除数为0用例

0/3=0

由于除数生成有0值判断，会提示异常，且代码内已避免此情况，此处不做处理

期望输出

除法测试结果如下
6/3=
0/3=

核对测试用例

核对两次答案1

分别输入A,+,1,0

期望输出

请回答：
A
您输入的不是正整数，请重新输入
+
您输入的不是正整数，请重新输入
1
答案正确
请回答：
0
答案错误

3、测试代码

对网上下载的miniunit.h少加修改，以头文件方式加入代码中即可测试。

mu_run_test(test(n));函数来进入计算函数

mu_assert(uanswer==ranswer,"should be %d", ranswer); 测试函数，放在test(n)函数中，正确则显示通过，错误给出原因

mu_test_results();显示本次测试的结果

主要为这三个函数，主要代码如下：

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 */

4 .测试结果分析

5、测试报告和测试代码到各自的github仓库

思考题

比较以下二个工匠的做法，你认为哪种好？结合编码和单元测试，谈谈你的认识。

答：应该分情况讨论

对于一个软件或者一家公司长期的角度来说，肯定是第一个比较好，每个人在标准之下编写的代码，无论是对于合并项目还是后期维护，都是有利的。

但是，对于那些紧急需要的，没有大量时间，小规模代码的软件来说，第二种可以作为应急手段，只是后期还需要更多的维护与修改

实验小结

    此次实验为单元测试实验，接替了上个实验的后续，更加全面的检测代码。不仅是对前面知识能力的巩固，更是对新的开发软件的掌握，是对自己所掌握知识的检测，通过本次实验，我意识到了平时编码过程中的不规范，为我以后的学习生涯打下了坚实的基础。