Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2009.16-D.4.517

Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation Testing  

Lee, Hyuck-Su (휴맥스 품질경영부문 SQE팀)
Choi, Eun-Man (동국대학교 컴퓨터공학)
Publication Information
The KIPS Transactions:PartD / v.16D, no.4, 2009 , pp. 517-526 More about this Journal
Abstract
It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.
Keywords
UML; Dynamic Diagram; Test Case Generation; Mutation Testing;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Y. Ma, Y. Kwon and J. Offutt, 'Inter-Class Mutation Operators for Java', in Proceedings. 13th International Symposium of Software Reliability Engineering, pp.352-363, 2002   DOI
2 Bao-Lin Li, Zhi-shu Li, Li Qing, Yan-Hong Chen, 'Test Case automate Generation from UML Sequence diagram and OCL expression', in Proceedings of the 2007 International Conference on Computational Intelligence and Security, pp. 1048-1052, 2007   DOI
3 R. K. Doong and P. G. Frankl, 'The ASTOOT approach to testing object-oriented programs' ACM Transactions on Software Engineering and Methodology (TOSEM), Vol.3, No.2, pp.101-130, April, 1994   DOI
4 R. B. France, 'A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts' In Proc. of OOPSLA' 99, pp.57-69, 1999   DOI
5 S. Kansomkeat and W. Rivepiboon, 'Automated-generating test case using UML statechart diagrams, Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology', pp.296-300, September, 17-19, 2003
6 H. C. Kim, S. W. Kang, J. M. Baik and I. Y. Ko, 'Test Cases Generation from UML Activity Diagrams', in Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, pp.556-561, 2007   DOI
7 B. H. Smith and L. Williams, 'An Empirical Evaluation of the MuJava Mutation Operators,' in Testing: Academic and Industrial Conference Practice and Research Techniques, pp.193-202, 2007   DOI
8 Y. Ma, M. Harrold, Y. Kwon, 'Evaluation of Mutation Testing for Object-Oriented Programs', in Proceedings of the 28th international conference on Software engineering, pp.869-872, 2006   DOI
9 M. Chen, X. Qiu and X. Li, 'Automatic test case generation for UML activity diagrams', in Proceedings of the 2006 international workshop on Automation of software test, Shanghai, China, May, 23-23, 2006   DOI
10 B. Baudry B. F. Fleurey, J. Jezequel and Y. Le Traon, 'Genes and Bacteria for Automatic Test Cases Optimization in the .NET environment', Software Reliability Engineering, 2002. ISSRE 2002. Proceedings. 13th, pp.195-206, 2002   DOI
11 P. Samuel, R. Mall and S. Sahoo, 'UML Sequence Diagram Based Testing Using Slicing', in INDICON, 2005 Annual IEEE, pp.176-178, 2005
12 Y. S. Ma and J. Offut, 'Description of Class Mutation Operators for Java,' http://ise.gmu.edu/~ofut/mujava/mutopsClass.pdf, accessed 7/07/2008
13 A. Abdurazik, J. Offutt, and A. Baldini. 'A controlled experimental evaluation of test cases generated from UML diagrams', Technical report, Information and Software Engineering Department, George Mason University, May 2004
14 'MuClipse', http://muclipse.sourceforge.net/index.php, accessed 7/07/2008
15 M. Sarma, D. Kundu, R. Mall, 'Automatic Test Case Generation from UML Sequence Diagrams', in Proceedings of the 15th International Conference on Advanced Computing and Communications, pp.60-67, 2007   DOI
16 A. S. Evans, 'Reasoning with UML class diagrams' In Proceedings of the Workshop on Industrial Strength Formal Methods (WIFT'98), IEEE Press, 1998
17 S. W. Kim, J. A. Clark and J. A. Mcdermid, 'Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method', Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method, pp.207-225, 2001   DOI   ScienceOn
18 D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima and C. Chen, 'On Object State Testing', in Proceedings Computer Software and Applications Conference, pp.222-227, 1994   DOI
19 T. Yi, F. Wu and C. Gan, 'A comparison of metrics for UML class diagrams', ACM SIGSOFT Software Engineering Notes, Vol.29, No.5, September, 2004   DOI
20 C. Nebut, F. Fleurey, Y. Le Traon and J. Jezequel, 'Automatic test generation: a use case driven approach', IEEE Transactions on Software Engineering, Volume 32, Issue 3, pp.140-155, March, 2006   DOI   ScienceOn
21 A. Hartman and K. Nagin, 'The AGEDIS tools for model based testing', In International Symposium on Software Testing and Analysis, pp.129-132, July, 2004   DOI
22 'COTE: Context and Problem Statement', http://www.irisa.fr/cote/, accessed 18/09/2008
23 E. Gery, D. Harrel and E. Palachi, 'Rhapsody: A complete life-cycle model-based development system', In Proceedings of the Third International Conference on Integrated Formal Methods, pp.1-10, 2002