软件工程7-2教材.pptVIP

* 软件工程 * 谢谢！ * * 从表面上看，判定/条件覆盖测试了所有条件的取值，但实际上条件组合中的某些条件会抑制其他条件。例如在含有“与”运算的判定表达式中， 第一个条件为“假”，则这个表达式中的后面几个条件均不起作用；在含有“或”运算的表达式中， 第一个条件为“真”，后边其他条件也不起作用，因此，后边其他条件若写错就测不出来。 * 从表面上看，判定/条件覆盖测试了所有条件的取值，但实际上条件组合中的某些条件会抑制其他条件。例如在含有“与”运算的判定表达式中， 第一个条件为“假”，则这个表达式中的后面几个条件均不起作用；在含有“或”运算的表达式中， 第一个条件为“真”，后边其他条件也不起作用，因此，后边其他条件若写错就测不出来。 * 图（a）是一个程序流程图，可以将它转换成图（b）的程序图（假设菱形框表示的判断内设有复合的条件）。在转换时注意: 一条边必须终止于一个结点，在选择结构中的分支汇聚处即使无语句也应有汇聚结点; 若判断中的逻辑表达式是复合条件，应分解为一系列只有单个条件的嵌套判断，如对于图(a)的复合条件的判定应画成图(b)所示的程序图。 * 从例中可知，一条新的路径必须包含有一条新边。这 4 条路径组成了图7.6(b)所示的程序图的一个基本路径集，4是构成这个基本路径集的独立路径数的上界，这也是设计测试用例的数目。只要测试用例确保这些基本路径的执行，就可