KIISE Transactions on Computing Practices (정보과학회 컴퓨팅의 실제 논문지)

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

DOI QR Code

M2M Transformation Rules for Automatic Test Case Generation from Sequence Diagram

시퀀스 다이어그램으로부터 테스트 케이스 자동 생성을 위한 M2M(Model-to-Model) 변환 규칙

  • 김진아 (충남대학교 컴퓨터공학과) ;
  • 김수지 (충남대학교 컴퓨터공학과) ;
  • 서용진 (충남대학교 컴퓨터공학과) ;
  • 천은영 (충남대학교 컴퓨터공학과) ;
  • 김현수 (충남대학교 컴퓨터공학과)
  • Received : 2015.09.08
  • Accepted : 2015.11.05
  • Published : 2016.01.15
⟨ Previous Next ⟩

Abstract

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

시퀀스 다이어그램에 대한 모델 기반 테스트를 수행하기 위하여 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성해야 한다. 이를 위해서는 시퀀스 다이어그램이 나타내는 시나리오를 파악하고 테스트 커버리지를 만족하는 경로를 추출하여 테스트 정보를 생성해야 한다. 하지만 시퀀스 다이어그램은 결합 조각을 사용하여 반복 및 조건, 대안 정보를 나타내므로 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성하는 것은 복잡하다. 이러한 문제를 해결하기 위하여 본 논문에서는 시퀀스 다이어그램으로부터 액티비티 다이어그램으로 변환을 수행하는 모델 변환 프로세스를 정의하고, 이를 통해 시퀀스 다이어그램의 시나리오를 제어 흐름 형태로 표현하고 여기에 테스트 커버리지를 적용하여 테스트 케이스를 생성하는 과정을 정의한다. 마지막으로, 사례 연구를 통하여 시퀀스 다이어그램으로부터 테스트 케이스를 생성하는 과정을 보인다.

Keywords

Acknowledgement

Supported by : 한국연구재단

References

  1. Utting, M. and Legeard, B., Practical model-based testing: a tools approach. Morgan Kaufmann, 2010.
  2. Chae, H. S., "Model-based Test - Concepts and Issues," Communications of KIISE, Vol. 31, No. 4, pp. 59-71, Apr. 2014.
  3. Mens, T. and Van Gorp, P., "A taxonomy of model transformation," Electronic Notes in Theoretical Computer Science, Vol. 152, pp. 125-142, Mar. 2006. https://doi.org/10.1016/j.entcs.2005.10.021
  4. OMG, UML Testing Profile (UTP) [Online], Available : http://www.omg.org/spec/UTP/1.2/PDF
  5. Garousi, V., Briand, L. C. and Labiche, Y., "Control flow analysis of UML 2.0 sequence diagrams," Model Driven Architecture-Foundations and Applications, Springer Berlin Heidelberg, 2005.
  6. Sarma, M., Kundu, D. and Mall, R., "Automatic Test Case Generation from UML Sequence Diagrams," Proc. of the 15th International Conference on Advanced Computing and Communications, pp. 60-67, 2007.
  7. Mingsong, C., Xiaokang, Q. and Xuandong, L., "Automatic test case generation for UML activity diagrams," Proc. of the 2006 international workshop on Automation of software test, pp. 2-8, 2006.
  8. Kundu, D. and Samanta, D., "A Novel Approach to Generate Test Cases from UML Activity Diagrams," Journal of Object Technology, Vol. 8, No. 3, pp. 65-83, 2009.