软件工程-第八章 软件测试.ppt

白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。 8.4 白盒测试方法 8.4.1 逻辑覆盖 语句覆盖：设计若干测试用例，运行要测试的程序，使得每一个可执行的语句至少执行一遍。 判定覆盖：设计若干测试用例，运行被执行程序，使得程序中每判定的取真分支和取假分支至少被评价一次。 条件覆盖：选择足够的测试用例，使得运行这些测试用例后，要使每个判定中每个条件的可能取值至少满足一次。 8.4 白盒测试方法 8.4.1 逻辑覆盖 判定/条件覆盖：单独使用判定或条件覆盖，测试结果都不够全面，将二者结合，会起到补充的作用。 条件组合覆盖：应选择足够的测试用例，使得每个判定条件中的各种可能组合都至少出现一次。 路径覆盖：覆盖了程序中所有可能的路径。 8.4 白盒测试方法 8.4.2 基本路径测试 基本路径测试设计测试用例的方法是在给出程序控制流的基础上，分析控制结构的环路复杂性，导出基本的可执行路径，并把覆盖的路径压缩到一定限度内，保证程序中的循环体最多只执行一次。 8.4 白盒测试方法 8.4.3 条件测试 条件测试方法注重于测试程序中的条件，通过检测程序条件中的错误来发现程序中的其他错误。 条件测试的目的不仅是检测程序条件中的错误，而且是检测程序中的其他错误。 8.