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

• 作者: 孙军 张卫民
• 来源期刊: 载人航天
• 学科: 工学
• 关键词: 修正的条件/判定覆盖 覆盖分析工具 工具评估
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 测控与通信
• 页码范围: 40-43,53
• 分类号: TP311.56
• 字数: 4672字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-5825.2009.03.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张卫民		11	40	3.0	6.0
2	孙军		8	8	2.0	2.0