基于UML状态图的测试用例自动生成方法

被引:2
作者
杨晶
顾春华
机构
[1] 华东理工大学信息科学与工程学院
关键词
UML状态图; 函数最小化; 测试用例自动生成;
D O I
10.14135/j.cnki.1006-3080.2011.03.006
中图分类号
TP311.52 [];
学科分类号
摘要
随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。
引用
收藏
页码:346 / 351
页数:6
相关论文
共 9 条
[1]  
Automatic test case generation using unified modeling language (UML)state diagrams. Samuel P,Mall R,Bothra A K. IET software . 2008
[2]  
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. SantiagoV,Vijaykumar N L,Guimaraes D. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop . 2008
[3]  
Automated-Generating Test Case Using UML Statechart Diagrams. Supaporn Kansomkeat,Wanchai Rivepibloon. Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology . 2003
[4]  
Generating Test Data From State-based Specifications. Jeff Offutt,Shaoying Liu,Aynur Abdurazik,Paul Ammann. The Journal of Software Testing, Verification and Reliability . 2003
[5]  
Unified modeling language specification,Version 2.0. OMG. http://www.omg.org . 2005
[6]  
Evolutionary testing of state-based programs. McMinn P,Holcombe M. Proceedings of the 2005 conference on Genetic and evolutionary computation . 2005
[7]  
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. Liu Shaoying,Nakajima S. Secure Software Integration and Reliability Improvement (SSIRI),2010 Fourth International Conference . 2010
[8]  
Test Cases Generation from UML State Diagrams. Kim YG, Hong HS, Bae DH, et al. IEE Proceedings Software . 1999
[9]  
Criteria for Generating Specification-based Tests. Jeff Offutt,Yiwei Xiong,Shaoying Liu. the Fifth IEEE International Conference on Engineering of Complex Computer Systems( ICECCS‘99) . 1999