节点文献

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

Requirement Analysis for Structure Coverage of Critical Software Test

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 张卫民刘松毅

【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.

  • 【会议录名称】 2008年航空试验测试技术峰会论文集
  • 【会议名称】2008年航空试验测试技术峰会
  • 【会议时间】2008-07-27
  • 【会议地点】中国江西南昌
  • 【分类号】TP311.52
  • 【主办单位】航空工业测控技术发展中心、中国航空学会测试专业委员会、《测控技术》杂志社
节点文献中: 

本文链接的文献网络图示:

本文的引文网络