软件目标码验证探讨

摘要：

　　航空、航天领域对软件质量要求极高，除了要求采用软件测试等方法保证源程序的质量以外，还提出了目标码验证的要求。本文分析了目标码验证的必要性，讨论了DO-178B和中国载人航天工程对目标码验证的要求，介绍了目标码验证的几种方法和两种目标码验证工具，并探讨了目标码验证的研究方向。

关键词： 软件测试 目标码验证 工作模式 质量控制

作者: Shan Jinhui 单锦辉

作者单位: Beijing Watertek Information Technology Corporation, Beijing, P.R.China, 100083;Jiuquan Satellite La 北京旋极信息技术股份有限公司 北京100083;中国酒泉卫星发射中心 甘肃酒泉732750;国防科技大学信息系统与管理学院 湖南长沙410073

会议类型: 国内会议

会议名称: 第七届中国测试学术会议

会议地点: 杭州

会议语种:中文

页码: 308-312

在线出版日期: 2012-06-23（万方平台首次上网日期，不代表论文的发表时间）