뮤테이션 테스트를 이용한 동적 다이어그램에 근거한 테스트 케이스의 효율 비교 뮤테이션 테스트를 이용한 동적 다이어그램에 근거한 테스트 케이스의 효율 비교
Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation Testing
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
동적 UML 다이어그램은 객체 지향 언어로 구현된 프로그램의 복잡한 실행 동작에 대한 표현이 가능하다. 이로 인하여 동적 다이어그램 중, 순서, 상태, 액티비티 다이어그램을 이용하여 테스트 케이스를 추출하고 테스트 하는 방법이 많이 쓰이고 있다. 그러나 테스트 자원과 시간이 제한되어 있을 때 어떤 명세를 이용하여 테스트 케이스를 만드는 것이 더 효율적인지, 또한 어떤 특성이 있는지 알 필요가 있다. 이 논문에서는 ATM 시뮬레이션 프로그램을 세 가지 다이어그램으로 표현하고 이를 이용하여 서로 다른 테스트 케이스를 생성한다. 또한 뮤테이션 테스팅(Mutation Testing)을 실시하여 각 테스트 케이스에 대한 효율을 평가 하였다. 뮤턴트(Mutant) 생성은 절차적 방식과 객체 지향 방식에 의한 뮤테이션 연산자(Mutation Operator)를 구분해서 적용하였으며 뮤클립스(Muclipse)라는 이클립스(Eclipse) 기반의 플러그인 도구를 이용하였다. 생성된 테스트 케이스와 뮤턴트를 이용해서 뮤테이션 점수(Mutation Score)를 측정하고 이를 기반으로 각 테스트 케이스 및 여러 관점에서 테스트 케이스의 효율을 평가하였다. 이런 과정을 통해 테스트 케이스 생성 방식의 선택에 대한 힌트를 얻을 수 있었다.
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.
참고문헌 (23)
- B. H. Smith, "An Empirical Evaluation ofthe MuJava Mutation Operators", in Testing: Academic and Industrial Conference Practice and Research Techniques, pp.193~202 (2007)
- Y. Ma, "Inter-Class Mutation Operators for Java", Proceedings. 13th International Symposium of Software Reliability Engineering, pp.352~363 (2002)
- Y. Ma, "Evaluation of Mutation Testing for Object-Oriented Programs", Proceedings of the 28th international conference on Software engineering, pp.869~872 (2006)
- M. Chen, "Automatic test case generation for UML activity diagrams", Proceedings of the 2006 international workshop on Automation of software test, pp.23~ (2006)
- H. C. Kim, "“Test Cases Generation from UML Activity Diagrams”, in Software Engineering, Artificial Intelligence, Networking, and Parallel", Distributed Computing, 2007, pp.556~561
- S. Kansomkeat, "Automated-generating test case using UML statechart diagrams", Proceedings of the 2003 annual research conference of the South African, pp.17~19 (2003), institute of computer scientists and information technologists on Enablement through technology
- P. Samuel, "UML Sequence Diagram Based Testing Using Slicing", INDICON, 2005 Annual IEEE, pp.176~178 (2005)
- "Description of Class Mutation Operators for Java"[URL]
- A controlled experimental evaluation of test cases generated from UML diagrams, Technical report, "A. Abdurazik", Information and Software Engineering Department, George Mason University, ~ (2004)
- "MuClipse"[URL]
- M. Sarma, "Automatic Test Case Generation from UML Sequence Diagrams", Proceedings of the 15th International Conference on Advanced Computing and Communications, pp.60~67 (2007)
- Bao-Lin Li, "Test Case automate Generation from UML Sequence diagram and OCL expression", Proceedings of the 2007 International Conference on Computational Intelligence and Security, pp.1048~1052 (2007)
- S. W. Kim, "Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method, Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method", 207~225 (2001)
- D. Kung, "On Object State Testing", Proceedings Computer Software and Applications Conference, pp.222~227 (1994)
- R. K. Doong, "The ASTOOT approach to testing object-oriented programs", ACM Transactions on Software Engineering and Methodology (TOSEM), 3(2), pp.101~130 (1994)
- B. Baudry, "Genes and Bacteria for Automatic Test Cases Optimization in the .NET environment", Software Reliability Engineering, 2002. ISSRE 2002. Proceedings. 13th, pp.195~206 (2002)
- T. Yi, "A comparison of metrics for UML class diagrams", ACM SIGSOFT Software Engineering Notes, 29(5) (2004)
- R. B. France, "A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts", Proc. of OOPSLA’ 99, pp.57~69 (1999)
- A. S. Evans, "Reasoning with UML class diagrams", Proceedings of the Workshop on Industrial Strength Formal Methods (WIFT’98) (1998), IEEE Press
- C. Nebut, "Automatic test generation: a use case driven approach", IEEE Transactions on Software Engineering, 32(3), pp.140~155 (2006)
- A. Hartman, "The AGEDIS tools for model based testing", International Symposium on Software Testing and Analysis, pp.129~132 (2004)
- "COTE: Context and Problem Statement"[URL]
- E. Gery, "Rhapsody: A complete life-cycle model-based development system", Proceedings of the Third International Conference on Integrated Formal Methods, pp.1~10 (2002)