论文部分内容阅读
航空、航天领域对软件质量要求极高，除了要求采用软件测试等方法保证源程序的质量以外，还提出了目标码验证的要求。本文分析了目标码验证的必要性，讨论了DO-178B和中国载人航天工程对目标码验证的要求，介绍了目标码验证的几种方法和两种目标码验证工具，并探讨了目标码验证的研究方向。
软件目标码验证探讨
【摘 要】
：
航空、航天领域对软件质量要求极高，除了要求采用软件测试等方法保证源程序的质量以外，还提出了目标码验证的要求。本文分析了目标码验证的必要性，讨论了DO-178B和中国载人
【机 构】
：
Beijing Watertek Information Technology Corporation, Beijing, P.R.China, 100083
【出 处】
：
第七届中国测试学术会议
【发表日期】
：
2012年期
其他文献
文中将IOCO一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种基于CPN模型的IOCO一致性测试生成新方法。首先,定义了面向一致性测试的CPN模型(
会议
农场通知她丈夫去场部处理善后事宜,见了尸体,她丈夫说,没事没事,这不怪你们。她在西安家里的时候,大家在一搭儿玩,练习过上吊,如果姿势正确的话死不了。这次她是想吓唬你们
不让古人是谓有志,不让今人是谓无量。有才而性缓,定属大才。有智而气和,斯为大智。以恕己之心恕人则全交。以责人之心责己则寡过。在事者,当置身利害之外。建言者,当设身利
在水温20～25℃条件下,采用静水试验法研究了聚维酮碘、溴氯海因、氯化钠和高锰酸钾等4种常用水产药物对西杂鲟幼鱼(平均体长11.40 cm,平均体质量10.10 g)的急性毒性.结果显示,
软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位。为了辅助测试人员进行软件故障的定位，在设计分层思想的指导下，本文在分析软件及其各个模块以及模块中
会议
测试环境作为软件测试的载体和平台，是软件测试工作的主要支撑和重要保证。测试环境设计作为测试设计的一项重要内容，对于测试技术和方法的选择、后续测试执行工作及测试结
现有服务组合中在选择Web服务时使用的是服务供应商提供的静态Qos属性，而不是服务运行时表现出的真实值，这将影响到服务选择的质量.针对这一问题，本文提出一种基于卡尔曼预
目的探讨剖宫产手术中子宫肌瘤剔除术的可行性。方法回顾性分析笔者所在医院2009-2012年剖宫产术中子宫肌瘤剔除术的临床资料,进行单纯性剖宫产与剖宫产手术中合并子宫肌瘤剔
传统的文档审查通常采用基于检查单的审查方法，该方法主要存在以下两个问题，一是检查单中记录的缺陷类型不全，容易导致审查时缺陷的遗漏；二是检查单中某些问题类型与文档间缺
会议
在航空航天领域，大量安全关键的实时软件系统承担着数据采集、处理和分析任务，如何模拟各种故障数据，对实时软件系统进行充分测试一直是工程实践中的现实难题。本文根据实时
会议