实验五 单元测试
一、实验目的
1）掌握单元测试的方法
2) 学习XUnit测试原理及框架；
3）掌握使用测试框架进行单元测试的方法和过程。
二、实验内容
1.了解单元测试的原理与框架
1.1 单元测试原理
单元测试（unit testing），是指对软件中的最小可测试单元进行检查和验证。对于单元测试中单元的含义，一般来说，要根据实际情况去判定其具体含义，如C语言中单元指一个函数，Java里单元指一个类，图形化的软件中可以指一个窗口或一个菜单等。总的来说，单元就是人为规定的最小的被测功能模块。单元测试是在软件开发过程中要进行的最低级别的测试活动，软件的独立单元将在与程序的其他部分相隔离的情况下进行测试。单元测试是由程序员自己来完成，最终受益的也是程序员自己。可以这么说，程序员有责任编写功能代码，同时也就有责任为自己的代码编写单元测试。执行单元测试，就是为了证明这段代码的行为和我们期望的一致。
单元测试的内容包括：模块接口测试、局部数据结构测试、路径测试、错误处理测试、边界测试。
（1）模块接口测试
模块接口测试是单元测试的基础。只有在数据能正确流入、流出模块的前提下，其他测试才有意义。模块接口测试也是集成测试的重点，这里进行的测试主要是为后面打好基础。测试接口正确与否应该考虑下列因素：
-输入的实际参数与形式参数的个数是否相同
-输入的实际参数与形式参数的属性是否匹配
-输入的实际参数与形式参数的量纲是否一致
-调用其他模块时所给实际参数的个数是否与被调模块的形参个数相同；
-调用其他模块时所给实际参数的属性是否与被调模块的形参属性匹配；
-调用其他模块时所给实际参数的量纲是否与被调模块的形参量纲一致；
-调用预定义函数时所用参数的个数、属性和次序是否正确；
-是否存在与当前入口点无关的参数引用；
-是否修改了只读型参数；
-对全程变量的定义各模块是否一致；
-是否把某些约束作为参数传递。
如果模块功能包括外部输入输出，还应该考虑下列因素：
-文件属性是否正确；
-OPEN/CLOSE语句是否正确；
-格式说明与输入输出语句是否匹配；
-缓冲区大小与记录长度是否匹配；
-文件使用前是否已经打开；
-是否处理了文件尾；
-是否处理了输入/输出错误；
-输出信息中是否有文字性错误。
-局部数据结构测试；
-边界条件测试；
-模块中所有独立执行通路测试。
（2）局部数据结构测试
检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确，局部功能是整个功能运行的基础。重点是一些函数是否正确执行，内部是否运行正确。局部数据结构往往是错误的根源，应仔细设计测试用例，力求发现下面几类错误：
-不合适或不相容的类型说明；
-变量无初值；
-变量初始化或省缺值有错；
-不正确的变量名（拼错或不正确地截断）；
-出现上溢、下溢和地址异常。
（3）边界条件测试
边界条件测试是单元测试中最重要的一项任务。众所周知，软件经常在边界上失效，采用边界值分析技术，针对边界值及其左、右设计测试用例，很有可能发现新的错误。边界条件测试是一项基础测试，也是后面系统测试中的功能测试的重点，边界测试执行的较好，可以大大提高程序健壮性。
（4）独立路径测试
在模块中应对每一条独立执行路径进行测试，单元测试的基本任务是保证模块中每条语句至少执行一次。测试目的主要是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。具体做法就是程序员逐条调试语句。常见的错误包括：
-误解或用错了算符优先级；
-混合类型运算；
-变量初值错；
-精度不够；
-表达式符号错。
（5）错误处理测试
检查模块的错误处理功能是否包含有错误或缺陷。例如，是否拒绝不合理的输入;出错的描述是否难以理解、是否对错误定位有误、是否出错原因报告有误、是否对错误条件的处理不正确;在对错误处理之前错误条件是否已经引起系统的干预等。
通常单元测试在编码阶段进行。在源程序代码编制完成，经过评审和验证，确认没有语法错误之后，就开始进行单元测试的测试用例设计。利用设计文档，设计可以验证程序功能、找出程序错误的多个测试用例。对于每一组输入，应有预期的正确结果。
1.2 测试框架
xUnit是各种代码驱动测试框架的统称,这些框架可以测试 软件的不同内容(单元),比如函数和类。xUnit框架的主要优点是,它提供了一个自动化测试的解决方案。可以避免多次编写重复的测试代码。
Unit测试框架包括四个要素：
(1)测试目标（对象）
一组认定被测对象或被测程序单元测试成功的预定条件或预期结果的设定。Fixture就是被测试的目标，可以是一个函数、一组对象或一个对象。 测试人员在测试前应了解被测试的对象的功能或行为。
（2）测试集
测试集是一组测试用例，这些测试用例要求有相同的测试Fixture，以保证这些测试不会出现管理上的混乱。
（3）测试执行
单个单元测试的执行可以按下面的方式进行：
第一步 编写 setUp() 函数，目的是：建立针对被测试单元的独立测试环境；举个例子，这可能包含创建临时或代理的数据库、目录，再或者启动一个服务器进程。
第二步 编写所有测试用例的测试体或者测试程序；
第三步 编写tearDown()函数，目的是：无论测试成功还是失败，都将环境进行清理，以免影响后续的测试；
（4）断言
断言实际上就是验证被测程序在测试中的行为或状态的一个函数或者宏。断言的失败会引发异常，终止测试的执行。
1.3 面向特定语言的，基于xUnit框架的自动化测试框架
Junit ： 主要测试用Java语言编写的代码
CPPunit：主要测试用C++语言编写的代码
unittest ， PyUnit：主要测试用python语言编写的代码
MiniUnit: 主要用于测试C语言编写的代码
|
当前状态 |
邻居数量 |
下一个状态 |
|
生存 |
2-3 |
生存 |
|
生存 |
0-1,4-8 |
死亡 |
|
死亡 |
3 |
生存 |
|
死亡 |
0-2,4-8 |
死亡 |
只提供状态迁移窗口，根据给定的邻居情况，跃迁到下一个状态。cell只保存当前自身的状态。
3.选择的测试框架介绍、安装过程
这次的生命游戏使用的是C++语言，因此用Cppunit进行单元测试。下载CPPUnit并解压。
安装配置过程截图：
4.实验代码：
#include<iostream>
#include<conio.h>
#include<windows.h>
#include<stdlib.h>
#include<time.h>
using namespace std;
#define N 48
#define GEN 999
int a[N][N][GEN];
void gotoxy(int x, int y)
{
HANDLE handle = GetStdHandle(STD_OUTPUT_HANDLE);
COORD pos;
pos.X = x;
pos.Y = y;
SetConsoleCursorPosition(handle, pos);
}
void show(int g)
{
gotoxy(0, 0);
int i, j;
cout << "演化" << g<< "代之后的生命细胞状态为" << endl << "--------------------------------------------------------------------" << endl;
for (i = 0;i < N;i++)
{
for (j = 0;j < N;j++)
{
if (a[i][j][g] == 1)
cout << "■";
else if (a[i][j][g] == 0)
cout << " ";
}
cout << endl;
}
Sleep(50);
}
void update(int k)
{
int i,j, count = 0;
for (i = 0;i < N;i++)
for (j = 0;j < N;j++)
{
count = 0;
if (i == 0 && j == 0)
{
if (a[i][j + 1][k] == 1)
count++;
else if (a[i + 1][j][k] == 1)
count++;
else if (a[i + 1][j + 1][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
else if (count == 2)
a[i][j][k + 1] = a[i][j][k];
else if (count == 3)
a[i][j][k + 1] = 1;
}
if (i == 0 && j != 0 && j != N - 1)
{
if (a[i][j - 1][k] == 1)
count++;
if (a[i][j + 1][k] == 1)
count++;
if (a[i + 1][j - 1][k] == 1)
count++;
if (a[i + 1][j][k] == 1)
count++;
if (a[i + 1][j + 1][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
if (i == 0 && j == N - 1)
{
if (a[i][j - 1][k] == 1)
count++;
if (a[i + 1][j - 1][k] == 1)
count++;
if (a[i + 1][j][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
if (i != 0 && i != N - 1 && j == 0)
{
count = 0;
if (a[i - 1][j][k] == 1)
count++;
if (a[i - 1][j + 1][k] == 1)
count++;
if (a[i][j + 1][k] == 1)
count++;
if (a[i + 1][j][k] == 1)
count++;
if (a[i + 1][j + 1][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
if (i == N - 1 && j == 0)
{
count = 0;
if (a[i - 1][j][k] == 1)
count++;
if (a[i - 1][j + 1][k] == 1)
count++;
if (a[i][j + 1][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
if (i == N - 1 && j != 0 && j != N - 1)
{
count = 0;
if (a[i - 1][j - 1][k] == 1)
count++;
if (a[i - 1][j][k] == 1)
count++;
if (a[i - 1][j + 1][k] == 1)
count++;
if (a[i][j - 1][k] == 1)
count++;
if (a[i][j + 1][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
if (j == N - 1 && i != 0 && i != N - 1)
{
count = 0;
if (a[i - 1][j - 1][k] == 1)
count++;
if (a[i - 1][j][k] == 1)
count++;
if (a[i][j - 1][k] == 1)
count++;
if (a[i + 1][j - 1][k] == 1)
count++;
if (a[i + 1][j][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
if (i == N - 1 && j == N - 1)
{
count = 0;
if (a[i - 1][j - 1][k] == 1)
count++;
if (a[i - 1][j][k] == 1)
count++;
if (a[i][j - 1][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
else if (i != 0 && j != 0 && i != N - 1 && j != N - 1)
{
count = 0;
if (a[i - 1][j - 1][k] == 1)
count++;
if (a[i - 1][j][k] == 1)
count++;
if (a[i - 1][j + 1][k] == 1)
count++;
if (a[i][j - 1][k] == 1)
count++;
if (a[i][j + 1][k] == 1)
count++;
if (a[i + 1][j - 1][k] == 1)
count++;
if (a[i + 1][j][k] == 1)
count++;
if (a[i + 1][j + 1][k] == 1)
count++;
if (count <= 1 || count >= 4)
a[i][j][k + 1] = 0;
if (count == 2)
a[i][j][k + 1] = a[i][j][k];
if (count == 3)
a[i][j][k + 1] = 1;
}
}
}
int main()
{
int i, j, k, count;
srand(time(NULL));
for (i = 0;i < N ;i++)
for (j = 0 ;j < N ;j++)
a[i][j][0] = rand() %2;
/*cout << "随机初始生命细胞状态为" << endl << "--------------------------------------------------------------------" << endl;
for (i = 0;i < N;i++)
{
for (j = 0;j < N;j++)
{
if (a[i][j][0] == 0)
cout << "⊙";
else
a[i][j][0] = 1;
cout << " ";
}
cout << endl;
}*/
for (i = 0;i < GEN;i++)
{
show(i);
update(i);
}
system("pause");
return 0;
}
运行结果：
有一处问题正在和队友研究解决中，这软件用起来很难理解。
思考题
比较以下二个工匠的做法，你认为哪种好？结合编码和单元测试，谈谈你的认识。
答：我觉得工匠一好。在问题出现之前，分析、预见可能出现的问题。工匠一、二都知道砖有对不齐的可能，
做为测试人员我们都知道，软件或多或少会有问题，如果能在开发之前预见开发过程 中会出什么样的问题，
测试将会有质的改变。
实验小结：
通过本次实验我掌握了单元测试的方法学会了XUnit测试原理及框架；和使用测试框架进行单元测试的方法
和过程。理论与实践结合帮助我掌握的更牢固。
