软考高级架构师：语句覆盖、分支覆盖、判定覆盖和路径覆盖

一、AI 讲解

白盒测试是一种测试方法，通过检查代码的内部结构和逻辑来设计测试用例，确保代码在各个方面都能正确运行。白盒测试中有几种常见的覆盖标准，包括语句覆盖、分支覆盖、判定覆盖和路径覆盖。我们来分别解释这些概念。

1. 语句覆盖（Statement Coverage）

定义：语句覆盖是指测试用例执行了程序中的每一条语句，确保每个语句至少被执行一次。

通俗例子：想象你在一个房子里，每个房间（语句）你都至少要进一次，这样可以确保你已经看过房子里的每个地方。

解释：语句覆盖检查的是代码的每个语句是否都被执行过。如果某个语句没有被执行，那么可能存在未发现的错误。

2. 分支覆盖（Branch Coverage）

定义：分支覆盖是指测试用例执行了程序中的每一个分支，即每个条件语句（如if-else）中的每一个可能的路径都被执行了。

通俗例子：在房子里有一些门（条件语句），每扇门可能通向不同的房间。你不仅要进每个房间，还要确保每扇门的每个方向（开门或关门）你都尝试过。

解释：分支覆盖检查的是代码中的每个分支是否都被执行过，这样可以确保所有可能的路径都被测试到了。

3. 判定覆盖（Condition Coverage）

定义：判定覆盖是指测试用例使每个条件中的每个布尔表达式的值都取到过真（True）和假（False）。

通俗例子：在一个房间里有灯的开关（布尔表达式），你要确保灯的开和关两种状态都测试过。

解释：判定覆盖关注的是每个条件中的每个布尔表达式的所有可能值都被测试过，确保逻辑条件在不同情况下都能正确执行。

4. 路径覆盖（Path Coverage）

定义：路径覆盖是指测试用例执行了程序中的所有可能的路径，从入口到出口的每一种可能的路径都被执行过。

通俗例子：想象你在迷宫中，每条可能的路径你都要走一遍，确保你探索了所有的路线。

解释：路径覆盖是最严格的一种覆盖标准，它要求测试用例执行程序中的所有可能路径。这种方法可以发现更复杂的逻辑错误，但在实际应用中，由于路径数量可能非常多，往往很难完全实现。

总结

• 语句覆盖：每个语句至少执行一次（进每个房间）。
• 分支覆盖：每个条件的每个分支至少执行一次（开关每扇门）。
• 判定覆盖：每个条件的每个布尔值（True/False）至少执行一次（测试灯的开关）。
• 路径覆盖：每条可能的路径至少执行一次（探索迷宫中的每条路径）。

每种覆盖标准都有其独特的关注点和适用场景，综合运用可以提高测试的全面性和有效性。

二、题目

白盒测试中，下面的测试强度最高的是？ A 语句覆盖 B 分支覆盖 C 判定覆盖 D 路径覆盖

答案 D