[发明专利]一种面向航天软件的软件可信性衡量方法

说明书

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

技术领域

本发明涉及一种软件可信性衡量方法，尤其是面向航天高可信软件的软件可信性衡量方法，属于非专用特定变量的测量技术领域。

背景技术

软件可信性，指软件按照期望提供安全可靠服务的能力，是人们在长期的工程实践中对软件质量的评价总结。航天型号软件所关注的可信属性包括“可靠性、失效安全性、保密安全性、可生存性、容错性、实时性”等特性。

当前，航天工业处在高速发展时期，航天型号任务越来越密集，高密度的发射任务对研制效率和质量提出了更高的要求。另一方面，弹箭星船器各系统对软件的依赖程度越来越高，由于软件失效导致系统故障的事件也屡屡出现。软件作为航天型号系统重要的组成部分，具有功能关键、运行环境苛刻、可靠性安全性要求高等特点，这些特征对软件的可信性提出了更高的要求，软件可信性已直接关系到型号任务的成败。

软件的可信性是用户所关心的重要软件特性，高可信软件的设计与生产已经成为当前航天高安全软件产业发展的重要目标。软件可信性衡量是软件可信性管理的重要支持手段，只有借助于可信性衡量，进行必要的软件可信性测量，获得有关数据，才能使软件可信性管理做到心中有数，进而对被测量软件的可信性有更好的认识、控制和改进。

如何衡量型号软件的高可信，进而保证整个型号任务的高可信，已成为航天软件重点关注且亟待解决的问题。航天软件“可信衡量”并非仅是衡量软件代码或软件最终产品的可信性，更为重要的是指导型号软件开发过程如何达到预设的可信性。

发明内容

本发明的技术解决问题是：弥补现有可信性衡量方法在航天型号软件领域的空白，提供一种面向航天高可信软件的软件可信性衡量方法，本发明通过依据软件生命周期的阶段划分，建立了由开发阶段可信证据、提交阶段可信证据、应用阶段可信证据构成的软件可信证据模型，同时给出了一种基于可信证据的衡量方法，解决了级别之间容易混淆的问题。

本发明的技术解决方案是：

一种面向航天软件的软件可信性衡量方法，步骤如下：

(1)确定目标航天软件生命周期的各阶段划分为：软件开发阶段、软件提交阶段和软件应用阶段；软件开发阶段依次包括10个部分：软件需求规格说明、软件体系结构设计、软件支持工具和编程语言、详细设计、软件模块测试和集成测试、软件确认测试、系统联试、软件更改、软件验证与确认以及软件安全性分析；

软件提交阶段包括两个部分：功能特性证据和性能特性证据；

(2)根据步骤(1)中确定出来的目标航天软件生命周期的各阶段，确定各阶段对应的软件可信证据，即采用的技术或措施；

软件开发阶段的软件可信证据：软件开发阶段的证据是在软件生产过程中的需求分析、设计以及编码与测试过程中，能够提供的与保障软件可信性相关的一系列证据，具体为：

软件需求规格说明部分对应的技术或措施为：计算机辅助规格说明工具、逻辑/功能块图、顺序框图、有限状态机、时间Petri网和形式化方法；

软件体系结构设计部分对应的技术或措施为：故障检测和诊断、错误检测和纠错编码、失效断言程序设计、编程多样性、重试故障恢复机制、记录执行情况、适度降级、结构化方法和计算机辅助设计工具；