一种面向航天软件的软件可信性度量方法

摘要

一种面向航天软件的软件可信性度量方法，通过依据软件生命周期的阶段划分，建立了由开发阶段可信证据、提交阶段可信证据、应用阶段可信证据构成的软件可信证据模型。确定各阶段可以提供软件可信证据的一系列技术或措施。然后根据航天软件可信等级定义，确定目标软件符合的可信等级以及评为该等级的合理度，及其应当进行的改进。与现有可信分级技术相比，本发明结合航天软件的属性，从软件的整个生命周期出发，为软件可信等级评定提供更为明确的依据和可量化的度量方法，从而使技术专家和管理者在科研管理活动中很好地结合起来，提高了科研及工程管理的精确度和科学性，有力地保证了航天型号软件的高可信性。