Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Survey on Test Case Generation Techniques for UML State Diagram

UML State Diagram 모델을 위한 테스트 케이스 생성 기법에 관한 연구

  • Published : 2013.05.20
⟨ Previous Next ⟩

Abstract

Keywords

Acknowledgement

Supported by : 한국연구재단

References

  1. G. Booch, J. Rumbaugh and I. Jacobson, The unified modeling language(UML)., Rational Software Corporation, 1998.
  2. L. J. Peterson, Petri net theory and the modeling of systems., PRENTICE-HALL, INC., 1981.
  3. D. Harel, "Statecharts: A visual formalism for complex systems", in Science of computer programming, 1987.
  4. M. Shirole, A. Suthar and R. Kumar, "Generation of Improved Test Cases from UML State Diagram Using Genetic Algorithm", in ISEC, Thiruvananthapuram, Kerala, India, 2011.
  5. R. Lefticaru and F. Ipate, "Automatic State-Based Test Generation Using Genetic Algorithms", in Ninth International Symposium on Symbolic and Numeric Algotirhms for Scientific Computing, 2008.
  6. J. H. Holland, Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control and artificial intelligence., MIT press, 1992.
  7. P. Samuel, R. Mall and A. K. Bothra, "Automatic test case generation using unified modeling language(UML) state diagrams", in IET Software, 2008.
  8. R. Swain, V. Panthi, P. K. Behera and D. P. Mohapatra, "Automatic Test case Generation From UML State Chart Diagram", International Journal of Computer Applications, vol. 42, no. 7, pp. 26-36, 2012.
  9. C. Doungsa-ard, K. Dahal, A. Hossain and T. Suwannasart, "Test Data Generation from UML State Machine Diagrams using GAs", in ICSEA, 2007.
  10. S. Kansomkeat and W. Rivepiboon, "Automated-Generating Test case Using UML Statechart Diagrams", in SAICSIT, 2003.
  11. K. T. Cheng and A. S. Krishnakumar, "Automatic functional test generation using the extended finite state machine model", in Proceedings of the 30th international Design Automation Conference. ACM, 1993.
  12. H. Hong, Y. Kwon and S. Cha, "Testing of object oriented program based on Finite State Machines", in Second Asia-Pacific Software Engineering Conference, 1995.
  13. J. N. Tracey, "A search based automatic test data generation framework for safety critical software", in Ph.D. thesis, University of York, 2000.