第10课时白盒条件组合、路径覆盖方法分解.ppt

软件测试技术与实践 第8课时 白盒条件组合/路径覆盖 判断/条件覆盖 条件组合覆盖 路径覆盖 上一节课我们学了什么呢 1. 判断/条件覆盖 例1：下面是一段简单的Java语言程序，作为公共程序段来讨论3种覆盖测试的各自特点。 程序如下： 1 if (x100 y500) 2 result = result+100; 3 if (x=1000 || z5000) 4 result = result-50; 1. 判断/条件覆盖 由以上程序可画出如下控制流图 1. 判断/条件覆盖 定义：要求设计若干个测试用例，执行被测程序，使得程序中每个判断条件的真假值分支，以及每个判断条件的内部判断式的真假值分支都被执行一遍 Case1：x=1000,y=600,z=6000 a-c-e； Case9：x=50,y=200,z=2000 a-b-d； 1. 判断/条件覆盖 测试用例组同时满足了判断覆盖和条件覆盖 判断/条件覆盖没有对每个判断条件的内部判断式的所有真假值组合进行测试。 优点：判断-条件覆盖满足了判定覆盖准则和条件覆盖准则，弥补了二者的不足 缺点：判断-条件覆盖准则并没有考虑条件的所有组合的情况 2. 条件组合覆盖 定义：要求设计若干个测试用例，执行被测程序，使得程序中每个判断条件的内部判断式的各种真