白盒测试

定义

白盒测试(White-box Testing)又称结构测试、透明盒测试,测试者依据程序源代码的内部逻辑结构设计用例,验证各语句、分支和路径是否按预期执行。

覆盖准则

按强度从低到高常见有:

• 语句覆盖:每条可执行语句至少执行一次
• 判定覆盖(分支覆盖):每个判定的真假分支都被执行
• 条件覆盖:判定中每个子条件的真假取值都被覆盖
• 判定/条件覆盖与条件组合覆盖
• 路径覆盖:覆盖所有可能的执行路径,最严格但路径数常随分支呈指数增长

航空等安全关键领域还使用 MC/DC(修正条件判定覆盖)等更严格的准则。

优缺点

优点是能精确度量测试充分性、深入逻辑细节;缺点是无法发现需求层面的功能缺失,且用例与实现耦合,代码变更后需同步维护。

应用

白盒方法主要用于单元测试和关键模块的逻辑验证,与黑盒测试互补。