实验五 单元测试

一、实验目的

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来检测

MiniUnit十分的简单,是最小的C语言测试框架,下面是我从网上找到的MiniUnit的代码

// 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 */   网址为:https://gitee.com/zhuangbo/MiniUnit/blob/master/miniunit.h   然后再待测试代码头文件加上MiniUnit.h  

开始进行测试:

 

 

 实验五 单元测试

 

 

 

 实验五 单元测试

 

push一下。

 实验五 单元测试

 

 

思考题:

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

实验五 单元测试

答:我认为工匠一的做法更好,因为企业在开发应用时,肯定是需要一个标准的,因为软件开发是一个团队合作,事先

确立一个标准有利于团队合作。而且后续的代码检测和维护也是需要的。

 

小结:这次实验让我熟悉了MiniUnit,他是一个很方便的C语言测试框架,而且极其的简单,没有那么多的复杂的功能,没有内存非配,所以在多数环境中都能良好的工作。

 

附录

#include<stdio.h>
#include<math.h>
#include<windows.h>
int right=0;
int wrong=0;
void add()
{
int a=51,b=51,c;
while(a+b>100||a+b<0)
{
a=rand()%100;
b=rand()%100;
}
printf("请回答:\n\t\t %d + %d = ",a,b);
scanf("%d",&c);
if(a+b==c)
{
printf("回答正确!\n");
right++;
}
else
{
printf("回答错误!\n");
wrong++;
}
}
void minu()
{
int a=1,b=2,c;
while(a-b>100||a-b<0)
{
a=rand()%100;
b=rand()%100;
}
printf("请回答:\n\t\t %d - %d = ",a,b);
scanf("%d",&c);
if(a-b==c)
{
printf("回答正确!\n");
right++;
}
else
{
printf("回答错误!\n");
wrong++;
}
}
void mul()
{
int a=20,b=10,c;
while(a*b>100||a*b<0)
{
a=rand()%100;
b=rand()%100;
}
printf("请回答:\n\t\t %d * %d = ",a,b);
scanf("%d",&c);
if(a*b==c)
{
printf("回答正确!\n");
right++;
}
else
{
printf("回答错误!\n");
wrong++;
}
}
void di()
{
int a=5,b=3,c;
while(a/b>100||a/b<0||a%b!=0)
{
a=rand()%100;
b=rand()%100;
}
printf("请回答:\n\t\t %d / %d = ",a,b);
scanf("%d",&c);
if(a/b==c)
{
printf("回答正确!\n");
right++;
}
else
{
printf("回答错误!\n");
wrong++;
}
}
void main()
{
int choise;
int con=0;
printf("\n\t\t\t欢迎进入小学简易四则运算\n\n");
while(1)
{
printf("请选择:\n");
printf("\t\t\t 加法运算(请输入1)\n");
printf("\t\t\t 减法运算(请输入2)\n");
printf("\t\t\t 乘法运算(请输入3)\n");
printf("\t\t\t 除法运算(请输入4)\n");
printf("\t\t\t 退出运算(请输入5)\n");
if(con==0)
scanf("%d",&choise);
switch(choise)
{
case 1:
add();
break;
case 2:
minu();
break;
case 3:
mul();
break;
case 4:
di();
break;
case 5:
return;
}
printf("\n\t\t\t继续运算?(请输入1)\n");
printf("\n\t\t\t重新选择?(请输入2)\n");
printf("\n\t\t\t退出运算?(请输入3)\n");
scanf("%d",&con);
if(con==1)
con=1;
else if(con==2)
con=0;
else if(con==3)
break;
else
printf("抱歉!,你输入的指令有误!请重新输入!\n");
}
printf("您总共完成了 %d 道题\n正确 %d 道\n错误 %d 道\n",right+wrong,right,wrong);
}

上一篇:C 库宏 - va_start()


下一篇:arm64架构linux内核地址转换__pa(x)与__va(x)分析