软测工具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 <