会议专题

任务关键软件可信性测评及其影响因素的研究综述

总结了相关标准对软件可信属性的定义,在现有软件可信性定义的基础上给出了军用关键软件的可信性定义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相关的测评技术进行了总结,综述了软件可信性评估技术发展的国内外现状。分别从软件可靠性理论及评估技术、软件可靠性模型综合选择算法、关键软件防危性测试、软件可信性测试与评估技术、影响软件可信性的随机因素的分析几个方面进行综述,指出了实施军用软件可信性研究的重要性,最后对软件可信性测评技术研究和实践进行了展望.

软件可信性 软件可靠性 软件防危性

惠战伟 黄松 谈利群

解放军理工大学指挥自动化学院军用软件测评中心,江苏 南京 210007 北京图形研究所,北京 100000

国内会议

2008年中国计算机学会体系结构专委会学术年会(ACA”08)

南京

中文

116-120

2008-11-05(万方平台首次上网日期,不代表论文的发表时间)