-
题名高可信软件的防危性评估研究
被引量：8
- 1
-
-
作者
杨仕平
熊光泽
桑楠
吴新勇
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机工程与设计》
CSCD
2004年第2期161-165,169,共6页
-
基金
国防科技预研基金资助项目(2000J6.7.1.DZ0206)
-
文摘
在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。
-
关键词
软件可靠性
软件系统
防危性评估
高可信软件
软件工程
-
Keywords
safety critical
evaluation
safety
reliability
importance sampling
stress testing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名安全关键软件防危性评测方法研究
被引量：1
- 2
-
-
作者
马飒飒
费扬洁
赵守伟
-
机构
军械工程学院军械技术研究所
河北省教育考试院信息处
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第23期5936-5939,共4页
-
基金
通保科研基金项目(2005装司字第375号)。
-
文摘
分析军用软件的高可靠性要求及军用安全关键软件防危性评测的必要性,确定防危性评估指标。提出利用基于重要性采样及加速测试技术下的软件防危性测试数据,建立小子样条件下基于贝叶斯估计的软件防危性评测方法。以非齐次泊松过程(NHPP)软件可靠性评估模型为例,利用自助法采样确定模型参数的验前分布,利用贝叶斯估计进行参数的验后计算得到模型估计值,联合测试加速度因子计算得到软件实际事故率评估值。算例分析表明,该评测过程具有一定合理性和可行性。
-
关键词
安全关键软件
防危性评估
小子样数据
贝叶斯估计
自助法采样
-
Keywords
safety-critical system software
safety assessment
small-sample data
Bayesian estimate method
bootstrap sampling
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
