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