期刊文献+

基于运行剖面的测试用例自动生成方法 被引量:3

Method of Test Case Auto-generation Based on Operational Profile
下载PDF
导出
摘要 软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多,所以探索高效快捷的测试用例生成方法一直是大家追求的目标,随着软件规模的日益增大,这种要求也变得更加迫切;软件运行剖面提供了软件运行的流程及各流程发生的概率,在软件测试的各个阶段对测试用例的生成均具有指导意义;在某嵌入式系统的软件确认测试阶段,剖析运行剖面提供的相关信息,结合生物进化遗传算法,由原始测试用例经过几代的遗传和进化之后,生成符合运行路径覆盖范围及深度要求的测试用例。 Software testing is the valid method that guarantees the quality of the software. The task of software testing is complex and companied with the great workload. Exploring the method of test case generation in high-level efficiency is the researching target. Along with the larger scale of the software the requirement of the target is greater. Software operational profile provides the operational path and its probability, which can instruct the test ease generation at all stages of software testing. In the stage of software validation test for the imbedded system, using the information from software operational profile and the generic algorithms, the test cases are evolved into the ones which accord with wide and deep requirerments of the operational path.
出处 《计算机测量与控制》 CSCD 2008年第11期1553-1555,1558,共4页 Computer Measurement &Control
关键词 确认测试 运行剖面 测试用例 遗传算法 运行流图 validation test operational profile test case generic algorithms operational-flow graph
  • 相关文献

参考文献12

  • 1Paul C. Jorgensen. Software Testing (Second Editiong) [M]. Beijing: China Machine Press. 2003. 7.
  • 2Broekman B, Notenboom E. Testing Enbedded Software [M]. Beijing: Publishing House of Electronics Industry, 2004. 1.
  • 3John D. Musa. Software Reliability Engineering [M]. Beijing: China Machine Press. 2003. 5.
  • 4Zekici S, Soyer R. Reliability of software with an operational profile [J]. European Journal of Operational Research (2003) 149: 459-474.
  • 5Keshav Pingali, Gianfranco Bilardi, Optimal Control Dependence Computation and the Roman Chariots Problem [J]. ACM Transactions on Programming Languages and Systems. May 1997, 19 (3) : 462-491.
  • 6Cytron R, Ferrante J, Rosen B, Wegman KMN, Zadeck FK. Efficiently computing static single assignment form and the control dependence graph [J]. ACM Trans. on Programming Languages and Systems, 1991, 13 (4): 451-490.
  • 7于 勐,陈贵海,阳雪林,谢 立,过敏意.JAVA并行化编译器JAPS-Ⅱ[J].软件学报,2002,13(4):739-747. 被引量:5
  • 8姬孟洛,齐治昌,王怀民.包含依赖输入分支程序的符号化WCET分析[J].软件学报,2006,17(3):628-637. 被引量:2
  • 9Mansour N and Salame M. Data Generation for Path Testing[J]. Software Quality Journal, 2004, 12 (2) : 121-136.
  • 10Bruno T. de Abreu, Eliane Martins, Fabiano L. de Sousa. Automatic test data generation for path testing using a new stochastic algorithm[A]. XIX Simposio Brasileiro de Engenharia de Software[C]. Uberlandia, MG, Brasil , 2005.

二级参考文献26

  • 1Kai-Yuan Cai.Software Defect and Operational Profile Modeling[M].Kluwer Boston,1998.
  • 2Kyle Siegrist.The Multinomisl Distribution.http://www.math.uah.edu/stat/bernoulli/bemoulli6.html.
  • 3JamesOBerger著 贾乃光译.统计决策论及贝叶斯分析[M].北京:中国统计出版社,1998..
  • 4张学文.概率的二项分布和多项分布[EB/OL].http://localbbs.net/entropy/zxw/C11g.htm,.
  • 5Pargas R, Harrold M, Peck R. Test-data Generation Using Genetic Algorithms. Journal of Software Testing, Verification & Reliability,1999, 9(4):263-282.
  • 6Korel B. Automated Software Test Data Generation. IEEE Trans. on Software Eng., 1990, 16(8): 870-879.
  • 7Korel B. Dynamic Method of Software Test Data Generation.Software Testing,Verification&Reliability, 1992,2(4):203 -213.
  • 8Christoph C, Gary M, Michael S. Generating Software Test Data by Evolution. IEEE Trans on Software Eng., 2001,27(12): 1085-1110.
  • 9Sthamer H. The Automatic Generation of Software Test Data Using Genetic Algorithms [PhD Thesis]. University of Glamorgan,Great Britain, 1996.
  • 10Vivancos E,Healy C,Mueller F,Whalley D.Parametric timing analysis.In:Workshop on Languages,Compilers,and Tools for Embedded Systems.Utah:ACM Press,2001.88-93.

共引文献20

同被引文献18

  • 1蒋昌俊,吴哲辉.Petri网的标注可达树[J].软件学报,1993,4(6):22-28. 被引量:4
  • 2章晓芳,徐宝文,聂长海,史亮.一种基于测试需求约简的测试用例集优化方法[J].软件学报,2007,18(4):821-831. 被引量:59
  • 3金虎,李志蜀,张磊,李宝林,李勇军.基于面向路径的遗传算法的测试用例自动生成[J].计算机工程,2007,33(3):21-23. 被引量:9
  • 4Berndt D,Fisher J,Johnson L,et al.Breeding Software Test Cases with Genetic Algorithms[A].Proceedings of the 36th Hawaii International Conference on System Sciences[C].2003.
  • 5Kim Y K,Hong H S,Bae D H.Test Cases Generation From UML State Diagrams[J].IEEE Proc.Softw.1999.
  • 6Harrold M,Orso A.Retesting software during development and maintenance [A].Frontiers of Software Maintenance [C].Beijing:IEEE Press,2008,99-108.
  • 7Chvatal V.A greedy heuristic for the set-covering problem [J].Mathematics of Operations Research,1979,4(3):233-235.
  • 8Harrold M J,Gupta,Soffa M L.A methodology for controlling the size of a test suite [J].ACM Trans.on Software Engineering and Methodology,1993,2(3):270-285.
  • 9Lee J G,Chung C G.An optimal representative set selection method f-J].Information and Software Technology,2000,42(1):17-25.
  • 10Wong W E,Horgan J R,Mathur A P,et al.Test set size minimi zation and fault detection efectiveness:A suite study in a space ap-plication [A].Proceeding of the 21st Annual International Com-puter Software and Application Conference of COMPSAC 97 [C].Washington DC,1997:522-528.

引证文献3

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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