航天安全攸关系统的软件可信性度量方法

摘要

随着我国航天事业的快速发展,型号软件系统研制数量成倍增长,如何确定一个软件是否可信、以及如何度量软件的可信程度已成为航天软件重点关注且亟待解决的问题.本文提出一种面向航天安全攸关系统的软件可信性度量方法,通过依据软件生命周期的阶段划分,确定各阶段可以提供软件可信证据的一系列技术或措施,据此确定目标软件符合的可信等级以及评为该等级的合理度.