第四部分结构性测试测试课程.ppt

2009--machunyan 西北工业大学软件与微电子学院 * 现在,如果使用边界测试法,弱健壮等价类测试,共产生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 … … … … … … 2009--machunyan 西北工业大学软件与微电子学院 * 弱健壮等价类测试覆盖的路径有: 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 2009--machunyan 西北工业大学软件与微电子学院 * 7.3.2 用于方法评估的指标 假设功能性测试技术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)。 2009--machunyan 西北工业大学软件与微电子学院 * 三角形程序的指标 方法 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 目标 s s s 1.0 1.0 1.0 佣金问题的指标 方法 m n s C(M,S)=n/s R(M,S)=m/s 边界值 25 11 11 1 2.27 决策表 3 11 11 1 0.27 DD-路径 25 11 11 1 2.27 定义—使用路径 25 33 33 1 0.76 片 25 40 40 1 0.63 2009--machunyan 西北工业大学软件与微电子学院 * 测试覆盖项的趋势 测试方法作用的趋势 2009--machunyan 西北工业大学软件与微电子学院 * 问题 除了结构化的覆盖率指标外,还有其它的覆盖率指标吗? 2009--machunyan 西北工业大学软件与微电子学院 * Project 2 老师布置或学生自选一个编程题目，每个小组合作完成一个完整的程序（200行代码以上），采用白盒测试方法，利用JUnit设计测试用例，在eclipse平台上执行测试、测试记录和结果分析。并给出测试的语句覆盖率和分支覆盖率。 可选择的题目：电子日历、通讯录、简单计算器、单位换算器、电子相册等。 2009--machunyan 西北工业大学软件与微电子学院 * 例如：通讯录 内容：姓、名、职位、单位、地址、办公电话、家庭电话、传真、手机、电子邮箱、照片等； 功能：新建、查询、修改、删除、导出、导入（可选）等； 二级功能 查询：按某一属性查询、列表； 导出：输出为文本文件； 导入：从文本文件导入； * * * * * * * * 2009--machunyan 西北工业大学软件与微电子学院 * Metric-based testing (cont.) Multiple Condition Coverage Testing(CMCC) 设计足够多的测试用例，运行被测试对象，使得每一个判断的所有可能的条件取值组合至少执行一次。案例2： x3，z10 记做T1 T2，第一个判断的取真分支 x3，z=10 记做T1 -T2，第一个判断的取假分支 x=3，z0 记做-T1 T2，第一个判断的取假分支 x3， z=10 记做-T1 -T2，第一个判断的取假分支 x=4，y5 记做T3 T4，第二个判断的取真分支 x=4，y=5 记做T3 -T4，第二个判断的取真分支 x!=4，y5 记做-T3 T4，第二个判断的取真分支 x!=4，y=5 记做-T3 –T4，第二个判断的取假分支 2009--machunyan 西北工业大学软件与微电子学院 * Metric-based testing (cont.) Multiple Condition Coverage Testing(CMCC) 2009--machunyan 西北工业大学软件与微电子学院 * Metric-based te