|
|||||
|
|
| 修正的条件/判定覆盖相关的问题 | |
| 引用本文： | 张卫民,申敬松.修正的条件/判定覆盖相关的问题[J].载人航天,2008(2):41-45. |
| 作者姓名： | 张卫民 申敬松 |
| 作者单位： | 北京航天飞行控制中心 |
| 摘 要： | 通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。 |
| 关 键 词： | 修正的条件/判定覆盖 条件 判定 软件测试 MC/DC分析 |
| 本文献已被 维普 等数据库收录！ | |