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

关键软件测试结构覆盖要求分析 ·329· 关键软件测试结构覆盖要求分析 张卫民1，一， 刘松毅3 (1．北京航天飞行控制中心，北京100094；2．北京航空航天大学计算机学院，北京100083： 3．中国对外发射测控系统部，北京 100720) 摘要：介绍了软件测试覆盖的基本概念和不同关键等级软件的测试结构覆盖要求。重点对修正的条件／ 判定覆盖(MC／DC)要求进行了分析和研究。明确了所有布尔表达式、按位运算等程序代码结构均需要满 足MC／DC。说明了如果将一个判定分解为多个等价的判定，对各个部分满足MC／DC的测试集，对整 个判定并不一定满足Mc／Dc。指出了汇编语言程序同样需要考虑Mc／DC问题。强调了必须基于软件 需求来设计测试用例。讨论了对结构覆盖分析发现问题的分析与解决方法。 关键词：测试覆盖；语句覆盖；判定覆盖；修正的条件／判定覆盖 中图分类号：11P311．56文献标识码：A 文章编号：1000—8829(2008)S0—0