-
题名安全关键软件的防危性测评技术研究
被引量：19
- 1
-
-
作者
杨仕平
桑楠
熊光泽
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2004年第4期442-450,共9页
-
基金
国家预研基金 ( 2 0 0 0J6.7.1.DZ0 2 0 6)
国家"十五"攻关项目基金( 4 13 15 0 40 10 6)资助
-
文摘
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性 .紧接着 ,使用贝叶斯函数动态地表示软件失效率的密度函数 ,提出了一种增量记忆型的防危性测试方法 ,该方法可根据软件出现失效时间的早晚及次数动态地确定所需测试用例数的增量 ,达到了改进传统测试方法局限性的目的 ,使安全关键软件测试失效后可经受更严格的测试 ,同时减小了测试工作量 .为证明该方法的合理性、有效性 ,使用了大量例证 .最后 ,就该领域内的相关工作及发展方向进行了展望 .
-
关键词
安全关键系统
测试用例
防危性测试
可靠性测试
安全关键软件
-
Keywords
Failure analysis
Probability density function
Reliability
Safety testing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
