军用操作系统软件可靠性度量与验证方法

• 作 者: 邹步青 燕锦华 解群
• 机 构: 上海亿通国际股份有限公司,上海201203国家工程软件产品质量监督检验中心,上海200233;中国电子科技集团公司第三十二研究所,上海200233
• 出 处: 上海市计算机学会第十届学术年会
• 发表日期: 2014年11期
• 关键词: 军用操作系统 软件可靠性 度量体系 验证方法

军用操作系统软件的可靠性要求高,且缺乏可靠性分析和验证手段.为此,研究军用操作系统软件可靠性度量与验证技术,提出以可靠性度量体系为基础,以软件可靠性测试、硬件适配性验证、标准符合性验证为手段的度量与验证方法.测试结果表明,该度量与验证方法提高了软件可靠性测试的有效性,有助于提升军用操作系统的软件可靠性.