期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于体系结构的软件可靠性测评研究

Reliability Evaluation Research and Practice of Architecture-based Software
下载PDF
导出
摘要 针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法.将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息.该方法有利于实现软件可靠性快速增长,有效减少测试用例量. As to the problems that the traditional high reliability evaluation methods exposed, an architec- ture-based software reliability evaluation method was proposed, based on the analysis of importance of archi- tecture-based software reliability testing. This method consolidates software growth testing with software demonstration testing,monitoring reliability from the modules＇ level and it can serve priori information of software reliability, which can realize the rapid growth of software reliability and effectively reduce the amount of test cases.
作者 齐蓓 覃志东
机构地区 东华大学计算机科学与技术学院
出处 《成都大学学报（自然科学版）》 2012年第4期336-340,353,共6页 Journal of Chengdu University（Natural Science Edition）
基金 国家自然科学基金(50973014) 中央高校基本科研业务费专项基金(11D11209)资助项目
关键词 软件可靠性 可靠性测评 软件体系结构 软件测试 software reliability reliability evaluation software architecture software testing
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献16

  • 1KnightJ C. Safety Critical System: Challenges and Directions[C]II Proceedings of the 24th International Conference on Soft?ware Engineering. Orlando: IEEE Xplore, 2002 : 547 - 550.
  • 2Cukic B. Combining Testing and Correctness Verification in Soft?ware Reliability Assessment[C] II High-Assurance Systems Engi?neering Workshop. Washington: High-Assurance Systems Engi?neering Workshop, 1997 .
  • 3Lyu M R. Software Reliability Engineering: A Roadm. ap[C]1I Future of Software Engineering. Washington: IEEE Computer So?ciety , 2007 .
  • 4MusaJ D, Okumoto K. Software Reliability: Measurement, Pre?diction, and application[M] . New York: McGraw- Hill, 1987.
  • 5Lyu MR. Handbook on Software Reliahility Engineering[M] . New York: McGraw- Hill, 1996 .
  • 6ProwellJ S, TrammellJ C, Linger R. et al. Cleanroom Softw are Engineering: Technology and Process[M] . New York: Addison?Wesley Professional, 1999 .
  • 7Bastani F B, Pasquini A. Assessment of a Sampling Method for Measuring Safety-critical Software Reliability[C] II Proc ISSRE 94. Monterey: IEEE Xplore , 1994.
  • 8Thayer T A, Lipow M, Nelson E C. Software Reliability[M] . North Holland: Holanda Publisher, 1978.
  • 9Pstein B, Sobel M. Sequential life Tests in the Exponential Case[J].Armals of Mathematical Statistics, 1953,26(3) :82 - 95.
  • 10Tal 0, MoCollin C, Bendell A. Reliability Demonstration for Safet)'critical Systems[J] . IEEE Transactions on Reliability Engineering,2001,50(2): 194 - 203.

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

成都大学学报（自然科学版）
2012年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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