关键软件测试结构覆盖要求分析

摘要：

介绍了软件测试覆盖的基本概念和不同关键等级软件的测试结构覆盖要求。重点对修正的条件/判定覆盖(MC/DC)要求进行了分析和研究。明确了所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC。说明了如果将一个判定分解为多个等价的判定，对各个部分满足MC/DC的测试集，对整个判定并不一定满足MC/DC。指出了汇编语言程序同样需要考虑MC/DC问题。强调了必须基于软件需求来设计测试用例。讨论了对结构覆盖分析发现问题的分析与解决方法。

关键词： 软件测试 结构覆盖分析 语句覆盖 判定覆盖 修正条件 布尔表达式 程序代码

作者: 张卫民 刘松毅

作者单位: 北京航天飞行控制中心,北京 100094;北京航空航天大学 计算机学院,北京 100083 中国对外发射测控系统部,北京 100720

会议类型: 国内会议

会议名称: 2008年航空试验测试技术峰会

会议地点: 南昌

会议语种:中文

页码: 329-333

在线出版日期: 2008-07-27（万方平台首次上网日期，不代表论文的发表时间）