【作者】 张卫民； 刘松毅；

【Author】 ZHANG Wei-min~(1’2),LIU Song-yi~3 (1.Beijing Aerospace Control Center,Beijing 100094,China; 2.School of Computer,Beihang University,Beijing 100083,China; 3.China Satellite Launch and Tracking Control General Department,Beijing 100720,China)

【机构】 北京航天飞行控制中心； 北京航空航天大学计算机学院； 中国对外发射测控系统部；

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

【Abstract】 Concepts of structure coverage of software test are introduced.The structure coverage requirements for different level software are presented.Modified Condition/Decision Coverage(MC/DC) requirements are discussed emphatically.It is cleared that all Boolean expressions and bit-wise operations must be considered for MC/DC.It is illustrated that test cases providing MC/DC for components which are equivalent to a decision do not necessarily provide MC/DC for the decision as a whole.It is demonstrated that assemble language codes must be considered for MC/DC.It is emphasized that test cases must be designed based on software requirements.The ways in which errors can be identified when we do MC/DC analysis and the treatments for the errors are discussed.更多还原