期刊文献+

软件可靠性测试加速方法分析 被引量:2

Analysis on principle of software reliability accelerated testing methods
在线阅读 下载PDF
导出
摘要 阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。 The concept and characteristics of software reliability testing are introduced and analyzed.Prevalent software reliability accelerated testing methods can be broadly classified into three categories,namely,changing probability based,grey box analysis based and multiple info based.The research achievements and development in software reliability accelerated testing method are mainly analyzed,summarized and discussed.And the conclusions are that the changing probability based approach can be accelerated partly and the others can be accelerated completely.Based on this the principle of software reliability accelerated testing methods is studied,and the research direction in the future is proposed.
出处 《计算机工程与设计》 CSCD 北大核心 2011年第9期3087-3090,3094,共5页 Computer Engineering and Design
基金 航空科学基金项目(20080241005)
关键词 软件可靠性测试 加速测试 加速机理 加速方法 软件可靠性工程 software reliability testing accelerated test acceleration principle accelerated testing method software reliability engineering
  • 相关文献

参考文献16

  • 1Michael R Lyu.Software reliability engineering:a roadmap[C]. Future of Software Engineering,2007:153-170.
  • 2Fu J P, Lu M Y, Ai J.TCS:An automation tool for software reliability test data generation [C]. Proceedings of ACTEA, 2009: 447-450.
  • 3Nagappan M, Wu Kesheng. Efficiently extracting operational profiles from execution logs using suffix arrays[C].Proceedings of ISSRE,2009:41-50.
  • 4Lutz R,Mikulski I C.Operational anomalies as a cause of safetycritical requirements evolution[J].The J Systems and Software, 2003,65(2): 155-161.
  • 5Musa J D. Software reliability engineering: more reliable software faster and cheaper[M].2nd ed.Author House,2004.
  • 6Matias R,Barbetta P A,Trivedi K S.Accelerated degradation tests applied to software aging experiments[J].IEEE Transactions on Reliability,2010,59( 1 ): 102-114.
  • 7Yan Jiong,Wang Ji,Chen Huo-wang.UML based statistical testing acceleration of distributed safety-critical soflware[J].Parallel and Distributed Processing and Applications,2005,3358:433- 445.
  • 8Wu Yumei, Zhang Yongqi, Lu Minyan. Software reliability accelerated testing method based on mixed testing[C].Proceedings of RAMS,2010:I-6.
  • 9James F B,James M R,Mary Jean H.Active learning for automatic classification of software behavior [J]. ACM SIGSOFT Software Engineering Notes,2004,29(4): 195-205.
  • 10Cukic B.Accelerated testing for software reliability assessment [R].West Virginia University,2004.

二级参考文献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.

共引文献32

同被引文献22

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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