软件测试技术第3章 白盒测试技术.pptVIP

如何使子句决定决策语句的真值 简单的决策语句，可以很容易用观察法直接找出次子句的取值使得某子句为主子句 对于复杂的决策语句，可以采取如下步骤 1）将P中子句c出现之处都用true代替，这样处理后语句记为Pc=true。 2）将P中子句c出现之处都用false代替，这样处理后语句记为Pc=false。 3）记Pc=Pc=true ?Pc=false。化简Pc，并令化简后的式子中各子句的取值使得Pc为真，则得到c决定P的真值的必要条件 第三章 白盒测试技术 * 以上3步得到的是c决定P的真值的必要条件，因此还要具体带入P中进行校验，如果不能满足要求还需要进行调整 第七章 带上X光眼镜检查软件 * P = a ? (b ? c) Pa = Pa=true ?Pa=false Pa=true true ? (b?c) Pa=false false ? (b?c) 例子：假设P = a||bc，求a决定P的真值的条件 Pa = (true ?(b?c)) ? (false ?(b?c)) = true ? (b?c) = ?(b?c) = ?b ? ?c ?b ? ?c = true意味着b或c之一取 false即可。 容易验证，如果b或c之一取false，则a确实可以决定P的真值 假设P = (!a||bc) (a||!(bc))，求c决定P的真值的条件 Pc = Pc=true ?Pc=false = ((?a ?(b?true))?(a?? (b?true))) ? ((?a ?(b?false))?(a?? (b?false))) = ((?a?b)?(a??b)) ? ?a = (a? (?a?b)?(a??b)) ? (?a??((?a?b)?(a??b))) = (a?b) ? (?a?b) = b 因此，c决定P的真值的必要条件是b=true。考虑下面的两组取值 第三章 白盒测试技术 * 虽然上述两组取值均满足必要条件b=true，但这两组取值，虽然c的真值不同，但P均为true 在满足b=true的条件下继续搜索，可以得到下述两组条件，均能够使c决定P的真值 第三章 白盒测试技术 * a=false，b=true，c=false a=true，b=true，c=true (?a ?(b?c))?(a?? (b?c)) P = true (?a ?(b?c))?(a?? (b?c)) P = true a=false，b=true，c=false a=false，b=true，c=true a=true，b=true，c=false a=true，b=true，c=true 例子：根据上面例子（例3-23）中得到的测试条件，用MCDC测试方法导出测试覆盖项 结点2，可以得出以下的测试覆盖项 z3为ture z3为false 结点3，对应的决策语句如下 P = (!(x+y15)||(y+z10))(x5) a = x+y15, b = y+z10, c = x5，则有P = (?a?b)?c 对子句a，Pa = (b?c)?c = ?b?c Pa =true意味着c=true，b=false。容易验证上述条件能够使a决定P的真值。 第三章 白盒测试技术 * 可以得出以下的测试覆盖项： x+y15为true y+z10为false x5为true P为false x+y15为false y+z10为false x5为true P为true 对子句b，Pb = (?a?c)?c = a?c， Pb =true意味着c=true，a=true。容易验证上述条件能够使b决定P的真值。 可以得出以下的测试覆盖项： x+y15为true y+z10为true x5为true P为true x+y15为true y+z10为false x5为true P为false 第三章 白盒测试技术 * 对子句c，Pc = (?a?b)?false = ?a?b， Pc =true意味着a=flase和b=true二者中至少1个成立即可。容易验证上述条件能够使c决定P的真值。 可以得出以下的测试覆盖项： x+y15为true y+z10为true x5为true P为true x+y15为flase y+z10为true x5为false P为false 第三章 白盒测试技术 * 最后，去掉上述列出的覆盖项中重复的项，可以得到最终的测试覆盖项为： TCOVER1: z3为ture TCOVER2: z3为false TCOVER3: x+y15为true y+z10为false x5为