实验五 单元测试

一、实验目的

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成功失败以及数据结果，输出到结果报告中

1.3面向特定语言的，基于xUnit框架的自动化测试框架

  Junit ： 主要测试用Java语言编写的代码

  CPPunit：主要测试用C++语言编写的代码

  unittest ， PyUnit：主要测试用python语言编写的代码

  MiniUnit: 主要用于测试C语言编写的代码

三、实验过程

由于此次我们组用的是C语言进行代码编程，所以采用MiniUnit进行单元测试

1、源码

#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include "MiniUnit.h"

int main()
{
    int a,b,d,e,t; //定义两个操作数a,b，结果d，输入结果t
    char c;        //运算符c可取“＋、－、×、÷”
 float y, x, m; 
    int i,sum=0;    //题目数量i,答对数目sum
    srand(time(0)); //初始化随机数发生器
    /**< 产生数据 */
 system("color 73");
 printf("--------------------欢迎来到四则运算小练习--------------------\r\n");
    for (y = 1.5f;y > -1.5f;y -= 0.1f) 
    { 
        for (x = -1.5f;x < 1.5f;x += 0.05f) 
        { 
            m = x*x + y*y - 1; 
            putchar(m*m*m - x*x*y*y*y <= 0.0f ? '*' : ' '); 
        }
  putchar('\n');
    }
 printf("-------------------------咱们开始喽-------------------------\r\n");
    for(i=0;i<10;i++)
    {
        a=rand()%100+1;
        b=rand()%100+1;
        c=rand()%4;     //0表加，1表减，2表乘，3表除

        /**< 数据合格判断及算式显示 */
        printf("                      第%d题：",i+1);
        switch(c)
        {
        case 0:
            while((d=a+b)>100)    //保证和在100内
            {
                a=rand()%100+1;
                b=rand()%100+1;
            }
            printf("%d + %d = ",a,b);
            break;
        case 1:
            while(a>100||b>100) //被减数小于100
            {
                a=rand()%100+1;
                b=rand()%100+1;
            }
            if(a<b)             //被减数大于减数
            {
                d=a;
                a=b;
                b=d;
            }
            d=a-b;
            printf("%d - %d = ",a,b);
            break;
        case 2:
            while((d=a*b)>100)    //保证积小于100
            {
                a=rand()%100+1;
                b=rand()%100+1;
            }
            printf("%d × %d = ",a,b);
            break;
        case 3:
            while(a>100||b>100||(a*b==0))   //保证被除数小于100且除数不为0
            {
                a=rand()%100+1;
                b=rand()%100+1;
            }
            if(a<b)           //被除数必须大于除数
            {
                d=a;
                a=b;
                b=d;
            }
            a=(a/b)*b;      //保证整除
            d=a/b;
            printf("%d ÷ %d = ",a,b);
            break;
        }
        /**< 输入你的计算结果 */
        scanf("%d",&t);
        if(d==t)
        {
            sum++;
            printf("正确\n");
        }
        else
            printf("错误\n");

    }
    /**< 输出答对题数和得分 */
    printf("                    答对 %d 题，得分：%d\n",sum,sum*10);
 if(sum>=7)
  printf("            小朋友你真厉害，继续加油哦!(*^▽^*)\r\n");
 else
  printf("            不要泄气哦，继续加油，你一定可以的!(*^▽^*)\r\n");
    return 0;
}

2、测试用例设计

  （1）边界值分析法：

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

3、关于MiniUnit的介绍

      单元测试模板在面向对象的编程语言中相当流行。像JUnit,SUnit和CppUnit等模板提供相当多的功能。可是，如此多的功能会使做单元测试的开发者（例如使用C语言开发嵌入式系统的开发者）进入拘泥的环境。单元测试的重点是测试而不是测试模板。MiniUnit是一个极端简单的C语言单元测试模板。他没有内存分配，因此可以使用在包括ROMable代码在内的几乎任意环境中良好工作。

     一个MinUnit测试实例是一个通过测试则返回0（NULL）的函数。如果测试失败，这个函数应该返回一个测试失败的描述字符串。mu_assert 是一个当表达式失败时返回字符串的宏。而宏mu_runtest重复调用测试实例直到测试实例失败。

 其基本代码只有三行，如下：

/* 文件: minunit.h */

 #define mu_assert(message, test) do { if (!(test)) return message; } while (0)
 #define mu_run_test(test) do { char *message = test(); tests_run++; \
                                if (message) return message; } while (0)
 extern int tests_run;

MiniUnit 的特点：

  • 简单: 断言，测试，显示结果，没有额外的代码。
  • 灵活: 灵活的断言，可选的消息，支持可变参数。
  • 清晰: 显示错误位置（文件名和行号），支持彩色文本。
  • 小巧: 仅有一个头文件，大约 120 行代码。


功能

(1) 使用断言

一个测试可以包含若干个断言，其中任何一个断言失败，则该测试失败。

  • mu_assert(expr)
    • 当表达式 expr 为假时断言失败，并报告错误。
    • 如：mu_assert(a == 3);
  • mu_assert(expr, message)
    • 带有说明消息的断言，断言失败时打印该消息。
    • 如：mu_assert(b == 5, "b is 5");
  • mu_assert(expr, message, args...)
    • 带有说明消息的断言，可变参数 args 为消息中的参数（至多 16 个），格式化方法与 printf 相同。
    • 如：mu_assert(a+b == 7, "the sum is %d", a+b);

(2) 编写测试

每个测试都是一个不带参数的函数，返回类型为 int。当测试函数返回 0 时，表示该测试顺利通过，返回其他结果，表示该测试未通过。

int test_something()
{
  mu_assert(1 + 1 == 2);
  return 0;  // 0 表示测试通过
}

(3) 运行测试

  • mu_run_test(test)
    • 运行测试函数 int test()
    • 同时统计成功和失败的测试数

(4) 查看结果

  • mu_test_results()
    • 显示测试结果，包括成功和失败的测试数量

(5) 文本颜色

如果控制台不支持 ANSI escape code，则在 #include "miniunit.h" 之前定义宏#define MU_NOCOLOR（Windows 下为默认选项）。

#define MU_NOCOLOR
#include "miniunit.h"

4、测试代码

（1）MiniUnit.h

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

（2）测试的源码如上源码中

5、测试结果与分析

 

思考题

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

答：我认为工匠一的做法更好，因为只有将每一块砖做好，整栋楼才不会坍塌。就像单元测试这个实验一样，只有将每一个模块都做好，整个程序才不会有大的问题。等做好了一部分，再去发现问题，然后修改问题，不免会因为这次修改而造成其他的问题，若是一开始就打牢基础，就不会有一连串的bug出现的可能。

 

实验小结

    此次实验为单元测试实验，代码所采用的语言为C语言，在网上找了很多关于C语言的单元测试的工具，相关文章不是很多，所采用的MiniUnit框架网上的相关介绍也很少，由于本身代码编写能力的不足，总体来说此次实验不是很成功，但是让我对单元测试有了更深的认识，在编写代码的过程中，只有搭建好每一个模块，每一个函数，整个程序才能稳定运行。希望以后能够学习的更多，能够完善此次实验的不足。

 

 posted on 2020-06-01 17:06  查方慧  阅读(194)  评论(0)  编辑  收藏  举报