3.3　实　　验

CTS的功能包括单元自动划分、路径及子路径选择、测试用例自动生成、测试执行管理(自动插装、打桩和驱动生成)、结果分析、覆盖率统计及故障定位等。CTS的系统架构如图3-17所示。

图3-17　CTS的系统架构

CTS支持语句覆盖、分支覆盖和MC/DC覆盖,基于这些覆盖准则确定待覆盖元素集,并针对这些待覆盖元素选取路径。作为面向路径的测试用例生成方法,BFS-BB可以对CTS提供的路径进行测试用例生成。BFS-BB的目标是在尽量短的时间内生成高覆盖率的测试用例。(https://www.daowen.com)

本章的实验包括3部分,即3.3.1节、3.3.2节和3.3.3节,对3.2节提出的搜索加速策略分别进行验证。

3.3.1节对于3.2.1节介绍的迭代区间运算进行测试,由于该方法不仅可以提高效率,还可以检测不可达路径,所以在实验的被测程序中加入了不可达路径进行测试。

在支持回溯操作的搜索方法中,按区间大小排序是一个非常常见的方法。本书在3.2.2节提出了一种在同区间大小的情况下打破僵局的方法,即通过变量级别继续排序。3.3.2节对3.2.2节提出的排序方法和仅用区间大小排序的方法进行对比。

由于爬山法是本书3.2.3节提出的非常重要的局部搜索方法,所以3.3.3节从多个角度对爬山法进行评估。我们进行了3种方法的对比,并从算法与变量个数和表达式的关系两个角度进行验证。为了测试爬山法求解等式的能力,还在不同等式个数的情况下使用爬山法进行实验。