修正条件/判定覆盖（Modified Condition/Decision Coverage，MC/DC)测试是一种实用的软件结构覆盖率测试，目前已被广泛地应用于测试过程中检测布尔表达式的正确性。本文首先阐述了修正条件/判定覆盖准则的概念，接着介绍了一种基于抽象语法树提取原子谓词和独立影响对的方法，提出了一种基于程序控制流图选择待测真值向量和路径的方法，最后通过实例验证了该方法能有效地生成MC/DC测试路径集。

>>查看原文初稿链接<<

>>更多科技论文<<