10.3969/j.issn.1000-7024.2004.02.001
高可信软件的防危性评估研究
在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系.总结了4种传统测评方法评估高防危性需求软件的局限性.研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证.最后就该领域内的相关工作及发展方向进行了展望.
安全关键、评估、防危性、可靠性、重要性采样、压力测试
25
TP302.8(计算技术、计算机技术)
国防科技预研基金2000J6.7.1.DZ0206
2004-03-12(万方平台首次上网日期,不代表论文的发表时间)
共6页
161-165,169