修正的条件/判定覆盖分析工具评估与选择

Evaluation and Selection of MC/DC Analysis Tools

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

Using tools to analyze MC/DC may simplify time-consuming software verification. Candidate tools should be carefully assessed to determine their functionality and limitations before the tool is used. How structural coverage analysis tools work is introduced. Some factors to be considered in evaluating and selecting a structural coverage tool are discussed. The factors include types of monitored statements, where statements arc monitored （source versus object code）, maxi- mum number of conditions and decisions that can be monitored, algorithms used for determining independent effect, handling of relational operators, handling of bit-wise operators, handling of combining expressions, handling of single step logic operations and instrumentation effects.