【摘要】使用工具进行修正的条件/判定覆盖（MC/DC）分析可以简化软件验证工作，但必须对候选的工具进行认真评估，确定每种工具的功能性和局限性，着重考虑的因素包括：监测语句的类型、在何处监测语句（源码还是目标码）、可检测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理的插装影响等。