当前位置：首页>編程日記>正文

软测工具Testbed的使用以及动态测试实例

編程日記08-29

软测工具Testbed的使用以及动态测试实例

基于大连理工大学软件测试与质量保证实验

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%