一种基于优先级的迭代划分测试方法.pdf

章晓芳章宗长谢晓园周谊成 xfzhang@suda.edu.cn 研究动机 相关工作 我们的方法 实验结果与分析 结论与未来工作 黑盒测试用例生成方法 ◦ 随机测试(RT)--适应性随机测试(ART) ◦ 划分测试(PT) ◦ 随机测试vs.划分测试 我们的方法 ◦ 一种基于优先级的迭代划分测试方法(Iterative Partition Testing based on Priority Sampling ，记为IPT-PS) ◦ 借鉴了ART均匀分布的思想，提高失效检测能力 ◦ 确定性迭代划分，降低子域划分的开销 相关术语 失效率(failure rate) ◦ 失效输入域占整个输入域的比例 失效模式(failure pattern) ◦ 指失效输入的几何特性及其在输入域上的分布情况，具体而言， 包括失效输入域的形状、大小、方位和位置等信息 ◦ Chan等总结了三种失效模式，分别为块状模式，条状模式和点 状模式 F-度量(F-measure) ◦ 检测到第一个失效时所使用的测试用例数量的期望值 随机测试 ◦ 服从某种概率分布（通常是均匀分布）地从整个输入域中 逐个选择测试用例 适应性随机测试 ◦ 测试用例尽可能均匀地分布在整个输入域 ◦ 基于距离计算、基于排除域、基于划分、基于测试剖面、 基于分布度量的算法等 ◦ Fixed Sized Candidate Set ART ，简称FSCS-ART ◦ 降低ART算法生成测试用例的计算开销 划分测试 ◦ 将输入域分割成多个不相交的子域，随后在每个子域中选 择测试用例 ◦ 在划分测试中，对于输入域的划分往往需要额外时间开销 ◦ 同等大小－同等抽样数的划分测试策略(Equal-Size-Equal- Sampling Strategy，ESESS) ◦ 比例抽样策略(Proportional Sampling Strategy ，PSS) ◦ 随机划分策略(Random Partition Testing Strategy ，RPT) ◦ 自适应随机划分策略( Adaptive and Random Partition Testing Strategy，ARPT) 迭代划分测试方法(IPT) ◦迭代划分、中心采样和测试用例执行 基于优先级的迭代划分测试方法(IPT-PS) ◦迭代划分、中心采样和基于优先级的用例执行 迭代划分测试方法(IPT) b1 b2 a b3 b4 (a) 输入域为A (b) 输入域划分为B1-B4 c4 (c) 输入域划分为C1-C16 (d) 测试用例c -c 1 16 迭代划分测试方法(IPT) ◦ 在m维空间中，n次划分并执行新增的2mn个测试用例后， 仍无法命中失效区域时，我们可以推断出该待测程序的失 效率θ一定小于某个值 基于优先级的迭代划分测试方法(I