随着现代航天技术和计算机科学技术的飞速发展,计算机及软件在航天系统中起着越来越重要的作用。软件的质量直接决定了整个航天型号产品的质量,软件质量出问题常常会引发灾难性后果,造成无法估计的损失。航天型号软件质量问题,尤其是软件安全性问题日益突出。软件测试是保证软件质量的重要手段,它能够最大限度的发现软件中的错误并减少软件中残留的隐患,因此,加强航天型号软件的安全性测试工作是保证航天型号软件安全性的基本途径和有效手段。目前,在我国航天领域,专门针对软件安全性测试开展的研究还很少。本文从航天型号软件安全性的测试现状入手,对软件测试原理及现行软件测试方法和测试技术进行了深入研究。在研究了软件周期中各阶段安全性工作的基础上,结合航天型号软件的特点和测试困难,总结了航天型号软件安全性测试的方法和流程。本文对航天型号软件安全性标准《GJB 5369-2005航天型号软件的C语言安全子集》进行了深入研究,对该C语言安全编程规范的安全性进行了分析,并选择其中比较重要且有代表性的部分规则,从数据类型、表达式、程序流程控制三方面,分析了编写不符合该规则的C语言程序中存在的安全隐患。在此基础上,设计实现了代码审查的自动化测试工具——GJB 5369-2005规则检查器,实现了针对《GJB 5369-2005航天型号软件的C语言安全子集》中138条规则的自动代码检查。GJB 5369-2005规则检查器设计参照编译器设计原理,软件结构主要由字符流读入、预处理、词法分析、语法分析和错误处理几大功能模块组成。测试结果表明,该软件符合设计要求,各项功能均达到设计指标。