白盒覆盖.pptVIP

* 通常的程序结构覆盖有： 语句覆盖； 判断覆盖； 条件覆盖； 判断/条件覆盖； 条件组合覆盖； 路径覆盖。 语句覆盖是最常见也是最弱的逻辑覆盖准则，它要求设计若干个测试用例，使被测程序的每个语句都至少被执行一次。判定覆盖或分支覆盖则要求设计若干个测试用例，使被测程序的每个判定的真、假分支都至少被执行一次。但判定含有多个条件时，可以要求设计若干个测试用例，使被测程序的每个条件的真、假分支都至少被执行一次，即条件覆盖。在考虑对程序路径进行全面检验时，即可使用条件覆盖准则。 虽然结构测试提供了评价测试的逻辑覆盖准则，但结构测试是不完全的。如果程序结构本身存在问题，比如程序逻辑错或者遗漏了规格说明书中已规定的功能，那么，无论哪种结构测试，即使其覆盖率达到了百分之百，也是检查不出来的。因此，提高结构测试的覆盖率，可以增强对被测软件的信度，但并不能做到万无一失。 白盒测试技术的常见方法之一就是覆盖测试，它是利用程序的逻辑结构设计相应的测试用例。测试人员要深入了解被测程序的逻辑结构特点，完全掌握源代码的流程，才能设计出恰当的用例。根据不同的测试要求，覆盖测试可以分为语句覆盖、判断覆盖、条件覆盖、判断/条件覆盖、条件组合覆盖和路径覆盖。 下面是一段简单的C语言程序，作为公共程序段来说明五种覆盖测试的各自特点。 程序2-1： 1 If (x100 y500) then 2 score=score