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

如何使子句决定决策语句的真值 简单的决策语句可以很容易用观察法直接找出次子句的取值使得某子句为主子句 对于复杂的决策语句可以采取如下步骤 1将P中子句c出现之处都用true代替这样处理后语句记为Pc=true 2将P中子句c出现之处都用false代替这样处理后语句记为Pc=false 3记Pc=Pc=true ?Pc=false化简Pc并令化简后的式子中各子句的取值使得Pc为真则得到c决定P的真值