航天嵌入式软件可信性度量方法及应用研究

• 作者: 张居阳 徐建 王保华 王婧 郭向英 金晟毅 陈仪香 顾斌
• 来源期刊: 中国科学（技术科学）
• 关键词: 航天嵌入式软件 软件可信性 度量模型 分级模型 可信属性
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 专项技术
• 页码范围: 221-228
• 页数: 8页
• 语种: 中文
• DOI: 10.1360/N092014-00479

摘要

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.