结构性测试回顾-read.ppt

第十一章 结构性测试回顾 漏洞和冗余-三角形问题的传统实现 三角形程序中的路径 一般边界值测试用例覆盖 用于方法评估的指标 三角形程序的指标 总结 * 东北大学软件学院 输入a、b、c Match=0 a=b? Match= Match+1 a=c? Match= Match+2 c=b? Match= Match+3 Match-0? Match-1? Match-2? Match-3? 等边三角形 a+c≤b? a+b≤c? c+b≤a? a+b≤c? c+b≤a? a+c≤b? 不等边三角形 等腰三角形 非三角形 Y Y Y Y Y Y Y Y Y Y Y Y Y N N N N N N N N N N N N N N 1 2 3 4 6 5 7 13 16 18 19 17 14 8 9 10 11 12 15 20 东北大学软件学院 不等边三角形 1-3-5-7-8-9-10-11 P11 非三角形（a+c≤b ） 1-3-5-7-8-9-10-12 P10 非三角形（c+b≤a ） 1-3-5-7-8-9-12 P9 非三角形（a+b≤c） 1-3-5-7-8-12 P8 非三角形（a=b） 1-2-3-5-7-13-14-12 P7 等腰三角形（a=b） 1-2-3-5-7-13-14-15 P6 非三角形（a=c） 1-3-4-5-7-13-16-17-12 P5 等腰三角形（a=c） 1-3-4-5-7-13-16-17-15 P4 非三角形（b=c） 1-3-5-6-7-13-16-18-19-12 P3 等腰三角形（b=c） 1-3-5-6-7-13-16-18-19-15 P2 等边三角形 1-2-3-4-5-6-7-13-16-18-20 P1 描述 节点序列 路径 P3 非三角形 100 100 200 15 P2 等腰三角形 100 100 199 14 P1 等边三角形 100 100 100 13 P2 等腰三角形 100 100 2 12 P2 等腰三角形 100 100 1 11 P5 非三角形 100 200 100 10 P4 等腰三角形 100 199 100 9 P4 等边三角形 100 100 100 8 P4 等腰三角形 100 2 100 7 P4 等腰三角形 100 1 100 6 P7 非三角形 200 100 100 5 P6 等腰三角形 199 100 100 4 P1 等边三角形 100 100 100 3 P6 等腰三角形 2 100 100 2 P6 等腰三角形 1 100 100 1 路径 预期输出 c b a 测试用例 东北大学软件学院 假设功能性测试技术M生成m个测试用例，并且根据标识被测单元中的s个元素的结构性测试指标S来跟踪这些测试用例。当执行m个测试用例时，会经过n个结构性测试元素。 定义 方法M关于指标S的覆盖是n与s的比值，记做C(M，S)。 定义 方法M关于指标S的冗余是m与s的比值，记做R(M，S)。 定义 方法M关于指标S的净冗余是m与n的比值，记做NR(M，S)。 东北大学软件学院 1 1 1 s s s 目标 11.36 11.36 1 11 11 125 最坏情况 2.14 1.36 0.64 11 7 15 一般值 NR(M,S)=m/n R(M,S)=m/s C(M,S)=n/s S N M 方法 东北大学软件学院 漏洞和冗余 评估指标 *