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

摘要：

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

关键词：修正的条件/判定覆盖、覆盖分析工具、工具评估

所属期刊栏目：15

分类号：TP311.56(计算技术、计算机技术)

在线出版日期：2011-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：40-43,53