航天器软件代码走查方法研究与应用

摘要

软件可靠性是现代航天器可靠性工程中的关键因素之一．而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上，总结并提出了一种针对航天软件特点的代码走查方法，该方法有助于提高走查的效率和保证走查的质量。方法由优化排序的代码检查单、结构化分析方法、专题分析技术和软件缺陷知识库构成。最后通过某星载软件的代码走查案例对方法的有效性和实用性进行了说明。