期刊文献+

无失效数据下安全关键软件可靠性多层Bayes估计 被引量:1

The Hierarchical Bayesian Reliability Estimation for Safety-critical Software in the Case of Zero-failure Data
下载PDF
导出
摘要 针对安全关键软件随机测试过程中可能出现的无失效情况,在对失效分布函数进行分析的基础上,确定了可靠度的多层先验分布,并给出了其Bayes估计。最后结合实际问题进行了计算,证明了该文中方法的可行性。 In the progress of random testing for safety-critical software,the situation of zero-failure data may happen.For zero-failure data,the hierarchical prior distributions and Bayesian reliability estimation were presented based on the analysis of failure distribution function.Finally calculation was performed regarding to practical problem,and the results showed the method given in the paper was feasible.
作者 路园 谢敬芝
出处 《电子质量》 2011年第1期21-22,25,共3页 Electronics Quality
关键词 安全关键软件 无失效数据 多层BAYES估计 可靠性 Safety-critical Software Zero-failure data Hierarchical Bayesian estimation Reliability
  • 相关文献

参考文献5

  • 1Howden WKGood enough versus high assurance software testingand analysis methods [A].In:Regina S Sed.Proceedings of the Third IEEE International High-Assurance Systems Engineering Symposium [C]. Washington D C:IEEE ComputerSociety,1998:166-175.
  • 2Littlewood B,David W.Some conservative stopping rules for the operational testing of safety-critical software [J].IEEE Trans On Software Engineering,1997,23(11):673-683.
  • 3Cukie B.Transformational approach to software reliability assessment[D].Houston:Houston University, 1997.
  • 4覃志东,雷航,桑楠,熊光泽,古幼鹏.安全关键软件可靠性验证测试方法研究[J].航空学报,2005,26(3):334-339. 被引量:33
  • 5韩明.二项分布无失效数据的Bayes可靠性分析[J].运筹与管理,1996,5(4):13-17. 被引量:7

二级参考文献14

  • 1LYUMR 刘喜成 钟婉懿 等译.软件可靠性工程手册[M].北京:电子工业出版社,1997..
  • 2David L P, John A, Kwan S P. Evaluation of safety-critical software [J]. Communication of ACM, 1990, 33(6): 636-648.
  • 3Selding P B. Faulty software caused Ariane 5 failure [J].Space News, 1996, 25(7): 24-30.
  • 4Leveson N G, Turner C S. An investigation of the Therac-25 accident [J]. IEEE Computer, 1993, 26(7): 18-41.
  • 5IEC 61508, Functional safety of electrical/electronic/ programmable electronic safety-related systems [S]. International Electrotechnical Commission, 1998.
  • 6Parnas D L, Asmis G J K, Madey J. Assessment of safety-critical software in nuclear power plants [J]. Nuclear Safety, 1991, 32(2): 189-198.
  • 7Howden W E. Good enough versus high assurance software testing and analysis methods [A]. In: Regina S S ed. Proceedings of the Third IEEE International High-Assurance Systems Engineering Symposium [C]. Washington D C: IEEE Computer Society, 1998. 166-175.
  • 8Miller W M, Morell L J, Noonan R E, et al. Estimating the probability of failure when testing reveals no failures [J]. IEEE Trans On Software Engineering, 1992, 18(1): 33-43.
  • 9Littlewood B, Strigini L. Assessment of ultra-high dependability for software-based systems [J]. Communications of the ACM, 1993, 36(11): 69-80.
  • 10Littlewood B, David W. Some conservative stopping rules for the operational testing of safety-critical software [J].IEEE Trans On Software Engineering, 1997, 23(11): 673-683.

共引文献38

同被引文献2

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部