MIS复习提纲的.ppt

A=2，B=0，X=4 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (2)判定覆盖(分支覆盖) 使每个判定的真假分支都至少执行一次 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例:可设计两组测试用例: A=3，B=0 ，X=3 可覆盖sacbd A=2，B=1 ，X=1 可覆盖sabed 两组测试用例可覆盖所有判定的真假分支 判定覆盖仍是弱的逻辑覆盖 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. A=3，B=0 ，X=3 可覆盖sacbd A=2，B=1 ，X=1 可覆盖sabed Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (3)条件覆盖 使判定表达式的每个条件都取到各种可能的结果 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例中有两个判定表达式，每个表达式有两个条件，为了做到条件覆盖，应该选取测试数据使得 在a点有下述结果出现： A1，A=1，B=0，B!=0 在b点有下述各种结果出现： A=2，A!=2，X1，X=1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 只要使用下面两组测试数据就可以达到上述覆盖标准： I.A=2，B=0，X=4 覆盖 sacbed II.A=1，B=1，X=1 覆盖sabd Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. I.A=2，B=0，X=4 覆盖 sacbed II.A=1，B=1，X=1 覆盖sabd Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 条件覆盖通常比判定覆盖强，因为这使判定表达式中每个条件都取到了两个不同结果，判定覆盖却只关心整个表达式的值。上面两组测试数据也同时满足判定覆盖标准。但是，也可能有相反的情况：虽然每个条件都取到了两个不同的结果，判定表达式却始终只取一个值。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 如： I.A=2，B=0，X=1 覆盖sacbed II.A=1，B=1，X=2 覆盖sabed 只满足条件覆盖标准，不满足判定覆盖标准。 所以说条件覆盖与判定覆盖没有包含关系 Evaluation only. Created with