基于大连理工大学软件测试与质量保证实验
1，软件与环境安装
由于该版本的Testbed是测试版本，有一定的使用期限。所以最好是下载到虚拟机里面然后使用之前用快照还原状态。当然直接下载到电脑里可以，但注意在使用期限内完成实验。
下载如图所示的两个文件
地址：链接：https://pan.baidu.com/s/1YgQJjDlE5jBRkU-ZOA5ysw
提取码：1x4x
打开testbed工具安装包->LDRATS-CEE->setup.exe 进行安装，过程中一路next（安装路径可自定义）。这样就把软件安装好了。
随后配置环境路径，利用env中的文件（我的路径为：E:/testbed/env）。
我的电脑->属性->高级->环境变量->在path中添加 “E:/testbed/env/bin/amd64”
我们将会进行动态测试，所以还要在TBrun中进行环境配置（注意，每次新建Sequence时，这一步都需要重复配置）。这个后面再讲，先把需要配的东西贴上来。
compile command:
cl /MT /w /c /Tc "$(Name)" -I $(SourcedirQuoteUnEnv) $(IncludedirsLeadQuoteUnEnv) -I"E:\testbed\env\include"
link conmmand:
link "$(DHobjPaths)" /out:"$(Exe)" /libpath:"E:\testbed\env\amd64" /libpath:"E:\testbed\env\x64" libcmt.lib kernel32.lib
注意这里有三个地方的路径是需要根据自己的情况修改的（“E:\testbed\env\include”，“E:\testbed\env\amd64”，“E:\testbed\env\x64”）。
2，动态测试实例 Testrain.c
对于printtype函数的测试，其源码如下：
void printtype(int i,int j,int k,int match)
{if( match == 0 ) goto l1;elseif( match == 1 ) goto l2;elseif( match == 2 ) goto l3;elseif( match == 3 ) goto l4;goto equil;
l1: if(i+j<=k) goto not_a_tri;if(j+k<=i) goto not_a_tri;if(i+k<=j) goto not_a_tri; else goto scalene;
l2: if(i+j<=k ) goto l1; else goto isos;
l3: if(i+k<=j ) goto not_a_tri; else goto isos;
l4: if(j+k<=i ) goto not_a_tri;else goto isos;
equil: printf(" equilateral");goto end;
isos: printf(" isosceles");goto end;
not_a_tri: printf(" not a triangle");goto end;
scalene: printf(" scalene");
end:;
}
我们的目标是要达到语句覆盖100%，同时分支覆盖95%以上。
（1）导入要测试的文件
这样选择即可。
（2）进行单元测试
（3）创建Sequence与test case
完成第(2)步后，将会进入一个新的窗口——TBrun窗口。
我们先来针对printtype函数创建一个序列(Sequence)。
上面工具栏Sequence->New …
调整code coverage 和 test environment，分别如下：
创建完序列之后，这里有很关键的一步是配置TBrun的compile和link，否则在序列build driver时是会报错的。
在上面工具栏选择如下：
选择compile&link方式构建，并且把之前说的路径配上来。
compile command:
cl /MT /w /c /Tc "$(Name)" -I $(SourcedirQuoteUnEnv) $(IncludedirsLeadQuoteUnEnv) -I"E:\testbed\env\include"
link conmmand:
link "$(DHobjPaths)" /out:"$(Exe)" /libpath:"E:\testbed\env\amd64" /libpath:"E:\testbed\env\x64" libcmt.lib kernel32.lib
创建完序列并且弄完TBrun环境之后，就可以在序列中创建测试用例了。我们针对printtype函数创建测试用例：
之后在该用例处，编辑输入值，与预期输出值，例如：
像这样共创建10个测试用例就可以达到100%的语句覆盖和100%的分支覆盖了。测试用例我就不写出来了，有困难的可以私聊。
下面是该函数动态测试的数据流图，绿色表示达到过，红色表示没有达到过。
可以看到对于printtype函数，已经达到了语句覆盖和分支覆盖100%
