Siemens Suite 使用指南
Siemens Suite 是做软件测试中故障定位算法研究时最有代表性和最常用到
的测试套件。其他测试套件诸如space,gzip,grep 等与Siemens Suite 的文
件组织结构和使用方法大同小异。掌握Siemens Suite 的使用以后,会为研究
其他测试套件扫清障碍。本文档主要的目的是对Siemens Suite 套件及其使用
做一个简要的介绍,让大家初步掌握故障定位算法研究中测试套件的使用方法,
文档配套的例程保存在附件中供大家参考。
1 Siemens Suite 文件组织结构
解压Siemens Suite 的压缩包以后,可以看到七个“.tar.gz”格式的归档文
件,如下图所示:
这七个归档文件分别打包了Siemens Suite 中的七个被测程序及其相应的
测试用例。使用命令“tar zxvf SUITE_NAME.tar.gz”可以解压每个归档文件,
在Siemens Suite 中,所有套件的文件组织是一模一样的,因此,在这篇文档
中,我们以tcas.tar.gz 套件为例为大家做一个示范。
解压完成后,会在解压目录下生成tcas 目录,打开tcas 目录后可以看到:
这就是tcas 中文件的组织方式,在这些目录中,我们做算法检验需要用到
的有inputs,outputs,newoutputs,source,scripts 和versions。在这些
目录当中:
(1) Source 目录里保存了被测程序的原型,即无bug 版本,用于用于生成
每个测试用例的期望输出。打开source 目录可以看到:
可见,在tcas 子套件中,被测程序只有tcas.c 这一个代码文件,在执行测
试程序以前,需要将其提前编译成名为tacs.exe 的二进制文件以供测试程序调
用。其他子套件可能有若干个代码文件/头文件,但最终只生成一个二进制文件
即可执行程序。我们使用Linux 平台上标准的GCC 编译器,使用命令“gcc -O2
tcas.c -o tcas.exe”来编译被测代码,注意”-O2”中是大写字母”O”而不是<