2014白盒-4.pptVIP

循环测试 测试思想 关注循环体结构的正确性，对循环变量运用类似于边界值测试的方法以验证循环体结构的正确性。 四种不同类型的循环结构 简单循环 嵌套循环 连接循环 非结构循环 测试简单循环 测试嵌套循环 测试串接循环 测试非结构循环 定义/使用路径测试覆盖指标 Rapps-Weyuker数据流指标 全路径 全边 全节点 全定义准则 全使用准则 全谓词使用/部分计算使用准则 全计算使用/部分谓词使用准则 全定义-使用路径准则 * 白盒测试总结 静态测试 侧重于源代码检查和优化 基本思想：不需要设计测试用例，直接查看源代码和模拟执行代码，目标是直接定位代码中的缺陷，提出结构设计优化的意见和有关测试重点的建议 典型方法：同行评审、静态结构分析、代码质量度量和对变量的数据流测试 * 白盒测试总结 动态测试 侧重于关键程序结构的测试 基本思想：通过对导致程序结构复杂度的判定表达式、执行路径和循环结构设计测试用例，目标是达到某种程度的测试覆盖典型方法：基于逻辑表达式覆盖指标的判定测试、基于全路径覆盖的独立路径测试，以及基于循环过程覆盖的对循环的测试 * 白盒测试总结 综合使用策略 优先进行静态白盒测试 尽量利用测试工具完成代码结构和质量的相关分析和评估 针对关键变量，使用数据流的测试方法确定补充路径测试的重点 设计测试用例时，注意结合边界抽取测试数据，包括逻辑判定表达式的边界、循环次数的边界、变量取值范围的边界等 在系统测试中借鉴独立路径测试方法的思想设计高层测试用例（如针对业务流程的功能测试），提高测试覆盖，降低冗余 * 白盒测试总结 测试覆盖指标 * 白盒测试总结 对黑盒测试的评估 黑盒测试方法设计的测试用例可能存在漏洞和冗余，但测试人员无法对其进行评估，可利用白盒测试的覆盖指标来衡量黑盒测试方法的漏洞和冗余情况。 * 用于方法评估的指标 假设功能性测试技术M生成m个测试用例，并且根据标识被测单元中的s个元素的结构性测试指标S来跟踪这些测试用例。当执行m个测试用例时，会经过n个结构性测试单元。 定义1:方法M关于指标S的覆盖是n与s的比值，记做C(M,S)。若 n/s1，则m个测试用例无法覆盖所有的白盒指标元素， 表明测试方法M存在漏洞。 定义2:方法M关于指标S的冗余是m与s的比值，记做R(M,S)。若 m/s1，则平均需要多于1个测试用例才能覆盖1个白盒指 标元素，表明测试方法M存在冗余。 定义3:方法M关于指标S的净冗余是m与n的比值，记做NR(M,S)。 用于方法评估的指标含义 * 漏洞与冗余 对黑盒测试的评估 代码说明 * 开始测试 4个边界值测试用例，分别为1800、1801、2049、2050 选择判定覆盖进行测试评估 完整的判定分支应有2个，即s =2.而4个测试用例的执行路径均为1 →2 →4 →5 →6，仅覆盖了isLeapYear函数判断分支的取假值分支，故n=1. n/s = 0.51，说明边界值测试存在漏洞 m/s = 21，说明边界值测试存在冗余 漏洞与冗余 * 以三角行程序为例 我们可以看到路径共有11条! P1:1-2-3-4-5-6-7-13-16-18-20 P2: P3: P4: ………………………… ………………………… P10:1-3-5-7-8-9-10-12 P11:1-3-5-7-8-9-10-11 漏洞与冗余 * 现在,如果使用边界测试法,弱健壮等价类测试,共产生15个测试用例,这里仅给出一组! 测试用例 a b c 预期输出 路径 1 100 100 1 等腰三角形 P6 2 100 100 2 等腰三角形 P6 3 100 100 100 等边三角形 P1 4 100 100 199 等腰三角形 P6 5 100 100 200 非三角形 P7 … … … … … … 漏洞与冗余 * 弱健壮等价类测试覆盖的路径有: p1、p2、p3、p4、p5、p6、p7。 如果采用强健壮等价类测试，测试用例为53=125个，能够覆盖全部11条路径，但是冗余很多！ p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 弱健壮 3 3 1 3 1 3 1 0 0 0 0 强健壮 5 12 6 11 6 16 7 17 18 19 12 漏洞与冗余 * 三角形程序的指标 方法 m n s C(M,S)=n/s R(M,S)=m/s NR(M,S)=m/n 一般值 15 7 11 0.64 1.36 2.14 最坏情况 125 11 11 1.0 11.36 11.36 佣金问题的指标 方法 m n s C(M,S)=n/s R(M,S)=m/s 边界值 25