期刊文献+

基于使用剖面的软件可靠性测试用例生成方法 被引量:8

A Test Case Generation Approach of Software Reliability Based on Usage Profile
下载PDF
导出
摘要 为了获得软件的可靠性指标,需要设计操作剖面来仿真用户实际使用软件的情况,并基于操作剖面来进行可靠性测试。传统的基于操作剖面的可靠性测试方法难以适用于航天软件,为了解决此问题,描述了一种具有层次化网络体系结构特征的使用剖面的形式化定义,阐述了构造这种使用剖面的系统化方法,给出了根据使用剖面生成用于软件可靠性测试操作序列的算法,以及基于操作序列生成可靠性测试用例的方法。提出的方法经过实验验证表明是可行的。 In order to obtain reliability index, operation profile is developed to simulate the way the users use the software, then the reliability test can be carried out. The traditional way to implement the reliability test based on operation profile is not suitable to aerospace software, a formal definition of software usage profile in layered network structure is presented, which is an extension on operational profile. A systematic approach of constructing usage profile is proposed and then an algorithm that is used to generate operation sequences for software reliability test is described. At last the approach used to generate reliability test cases is also given. The approach discussed above is experimented and validated in some software, which show that the approach is feasible.
出处 《计算机仿真》 CSCD 北大核心 2009年第12期66-69,共4页 Computer Simulation
关键词 可靠性测试 使用剖面 操作序列 测试用例生成 Reliability test Usage profile Operation sequences Test case generation
  • 相关文献

参考文献5

  • 1John D Musa, A Iannino and K Okumoto. Software reliability measurement prediction, application [ M ]. New York McGraw - Hill, 1987.
  • 2John D Musa, Operational profiles in software reliability engineering [J] , IEEE Software, 1992, 10(2) : 14 -32.
  • 3John D Musa. Software Reliability Engineering [ M ]. New York: McGraw - Hill, 1999.
  • 4K Y Cai. Censored Software - Reliability Models [ J ]. IEEE Trans, Rel, Mar, 1997,46( 1 ) :69 -75.
  • 5艾骏,陆民燕,阮镰.面向软件可靠性测试数据生成的剖面构造技术[J].计算机工程,2006,32(22):7-9. 被引量:11

二级参考文献5

  • 1Musa J D. Introduction to Software Reliability and Testing, Software Reliability Engineering -Case Studies[C]. Proceedings of the 8^th International Symposium on Software Reliability and Testing Course,USA. 1997: 3-12.
  • 2Musa J D. Software Reliability Engineering[M]. New York:McGraw-Hill, 1998.
  • 3Michael L. Handbook of Software Reliability Engineering[M].McGraw-Hill and IEEE Computer Society Press, 1996.
  • 4Elbaum S, Narla S A. Methodology for Operational Profile RefinementlC]. Proceedings of IEEE Annual Reliability and Maintainability Symposium, 2001: 142-149.
  • 5陆民燕,陈雪松.软件可靠性测试及其实践[J].测控技术,2000,19(5):48-50. 被引量:10

共引文献10

同被引文献66

  • 1郭坚,付连芳,翟君武.一种星载软件系统测试环境的设计[J].计算机测量与控制,2005,13(5):499-502. 被引量:9
  • 2吴玉美,阮镰.软件可靠性测试的加速机理研究[J].计算机应用,2006,26(6):1449-1451. 被引量:8
  • 3韩峰岩,覃征,王昕.一种考虑数据截尾的非参数软件可靠性模型[J].西安交通大学学报,2006,40(6):667-671. 被引量:2
  • 4樊林波,吴智,赵明.基于构件的软件可靠性分析[J].计算机科学,2007,34(5):266-268. 被引量:5
  • 5MusaJD.软件可靠性工程[M].韩柯,译.北京:机械工业出版社,2003.
  • 6Nalini R,Liu Zhao-hui,Bonnie K R.NHPP modelswith Markov switching for software reliability[J].Computational Statistics&Data Analysis,2008,52(8):3988-3999.
  • 7Ashraf A,Nadeem A.Automating the generation oftest cases from Object-Z specifications[C]∥30th An-nual International Computer Software and ApplicationsConference(COMPSAC'06).Chicago,Compsac,2006:101-104.
  • 8Vilkomir S A,Swain W T,Poore J H.Combinatorialtest case selection with markovian usage models[C]∥Fifth International Conference on Information Technol-ogy:New Generations(itng 2008).Las Vegas,IEEEComputer Society,2008:3-8.
  • 9Prowell S J.Computations for markov chain usagemodels[R].Tennessee:The University of TennesseeUT-CS-03-505,2003.
  • 10缪淮扣,李刚,朱关铭.软件工程语言——Z[M].上海:上海科学技术文献出版社,2000.

引证文献8

二级引证文献21

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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