高可信软件的防危性评估研究

作     者：杨仕平 熊光泽 桑楠 吴新勇 

作者机构：电子科技大学计算机科学与工程学院四川成都610054 

基　　金：国防科技预研基金资助项目(2000J6.7.1.DZ0206) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2004年第25卷第2期

页      码：161-165,169页

摘      要：在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。

主 题 词：软件可靠性 软件系统 防危性评估 高可信软件 软件工程 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2004.02.001

馆 藏 号：203167468...