面向源代码可信证据的航天软件可信度量评估方法

摘要

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提出一种面向源代码可信证据的航天软件可信性度量模型和可信性分级模型;最后通过将所构建的评估方法应用于NASA开源软件Core Flight Executive的可信量化评估,评估结果表明本文所建立的可信量化评估方法具有良好的有效性和实用性.