修正条件/判定覆盖（Modified Condition/Decision Coverage，MC/DC)测试是一种实用的软件结构覆盖率测试，目前已被广泛地应用于测试过程中检测布尔表达式的正确性。本文首先阐述了修正条件/判定覆盖准则的概念，接着介绍了一种基于抽象语法树提取原子谓词和独立影响对的方法，提出了一种基于程序控制流图选择待测真值向量和路径的方法，最后通过实例验证了该方法能有效地生成MC/DC测试路径集。
特别声明：本站注明稿件来源为其他媒体的文/图等稿件均为转载稿，本站转载出于非商业性的教育和科研之目的，并不意味着赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题，请作者在两周内速来电或来函联系。
京公网安备 11040202430174号![京网文[2017]10376-1180号](/images/indexnew/www1024.jpg){kind=link}