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

来源 :2008年航空试验测试技术峰会 | 被引量 : 0次 | 上传用户:yhmlivefor46
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了软件测试覆盖的基本概念和不同关键等级软件的测试结构覆盖要求。重点对修正的条件/判定覆盖(MC/DC)要求进行了分析和研究。明确了所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC。说明了如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。指出了汇编语言程序同样需要考虑MC/DC问题。强调了必须基于软件需求来设计测试用例。讨论了对结构覆盖分析发现问题的分析与解决方法。
其他文献
在研究临近空间浮空器(高空飞艇)仿真和控制中,建立了飞艇六自由度运动方程数学模型。使用MATLAB/SIMULINK软件完成了飞艇飞行仿真软件设计,并采用FLIGHTGEAR作为飞行仿真视景
本文介绍民爆行业加强原材料标准化的意义和必要性,介绍了路博润公司在炸药乳化剂方面的新产品研制、乳化剂的质量标准、产品质量的控制方法和程序,以及产品标准的更新程序等内
无锡兴泰船舶装备有限公司是专业生产救生衣、救生圈的厂家之一,该产品是专业性非常强、但市场又比较狭窄的行业。但我们坚持一个信念:以国际最先进的标准制作产品,质量把关,信誉
我国将进入核电大发展时期,核电的批量化建造会成为必然,在这个过程中,核电建造过程中的管理标准化将在四个方面起到关键作用:保证同一堆型的电站具有一致的施工质量和较高的核安
随着我国核电站建设向内地发展,广泛分布在内地的沉积岩及变质岩(以下称为沉积岩)场地将成为众多核电站建设的必然选择。沉积岩场地的共同特点是岩体的不均匀性,即成层性,有不同
介绍了航天时代电子公司在立足自主创新取得技术和应用领域重大突破的基础上,通过建立完整的企业标准体系,掌握技术标准的制定权,并进一步将标准与专利捆绑,构成技术规范与壁
本文对人工影响天气与通用航空进行了探讨。文章围绕经济社会发展对人工影响天气的需求、我国人工影响天气的发展现状、人工影响天气对通用航空的需求、对通用航空发展的建议
树脂基复合材料工艺过程具有材料形成和构件成型同时完成的特点,工艺过程的控制直接决定了复合材料构件的制造成本和制造质量,因此应系统地研究复合材料的工艺特点和成型过程,在
本文对通用航空产业的发展进行了探讨。文章围绕通用航空市场发展的关键、通用航空市场发展必须系统化、运用经济手段开拓通用航空市场等进行了阐述。
研究采用Lamb波和相控阵对复合材料结构进行损伤监测和成像的方法,运用相控阵技术控制波束指向实现多方位扫描,并通过信号干涉叠加提高信号的信噪比。将识别结果用损伤图像显示