3.3.1　迭代的区间运算对比实验

3.3.1　迭代的区间运算对比实验

1.实验设计

保持其他策略为最优的设置,在实验时对有区间迭代运算和没有区间迭代运算进行对比(每种情况做10组实验)。为了测试迭代的区间运算检测不可达路径的能力,在被测程序中加入了一条预处理阶段无法检查出的不可达路径。

2.实验环境

①CPU为Intel(R)Pentium(R)CPU U5600@1.33GHz。

②主板为联想3249A69(英特尔QM57)。

③内存为4 GB(2.92 GB可用)。

④显卡为Intel(R)HD Graphics(Pentium)。

⑤硬盘为希捷ST9250315AS。(https://www.daowen.com)

⑥操作系统为Windows 7家庭普通版。

3.实验数据

对比有区间迭代运算和没有区间迭代运算的实验结果如表3-8所示。其中,A代表有区间迭代运算,B代表没有区间迭代运算。

表3-8　有区间迭代运算和没有区间迭代运算对比实验结果

4.实验总结

①利用区间的迭代过程可以判断出一些不可达路径。上述实验中有一条不可达路径就是通过迭代过程判断出来的。在剔除了这条路径之后分支限界可以为其他13条可达路径生成测试用例。

②对于约束比较复杂的路径,没有经过区间的迭代过程是无法求解的,在本次实验中,14条路径中的2条路径只有经过迭代过程才能生成测试用例,但同时迭代过程也会导致时间增加,可以看出使用迭代过程的分支限界比不迭代的多花费了34%的时间。也就是说,分支限界以时间为代价换取了成功率。因此,求解的效率问题将是分支限界下一步要解决的一个问题。