모델 변환 기법을 이용한 UML 모델 기반 UTP 테스트 케이스 생성 자동화 방안

다국어 초록 (Multilingual Abstract)

This thesis suggests UML model based test case generation method using model transformation. In model-based testing using UML models, test cases are automatically derived from the UML models.
However, UML models are represented as various diagrams such as class diagram, sequence diagram, activity diagram, and so on. Each diagram has its own elements and representations. Also, test methods are applied according to the characteristics of each diagram.
To solve the problem, this thesis proposes test methods and test case derivation methods to generate test cases from each UML models. According to test strategies, test cases are generated from each diagrams.
On the other hands, this thesis presents automated the test case generation from UML models, via the model transformation method that represents test cases as model using UTP.
Furthermore, this thesis suggests model transformation processes to generate test cases from each diagram and proposes model transformation rules that are applied to the model transformation processes.
Finally, we present a case study for test cases generation from each UML model. We apply our suggested transform rules to class diagram, sequence diagram, activity diagram.

목차 (Table of Contents)

• 1. 서론 1
• 1.1. 연구 배경 및 목적 1
• 1.2. 연구 내용 2
• 1.3. 논문 구성 3
• 2. 관련연구 4
• 2.1. 연구 배경 지식 4
• 2.1.1. 모델 기반 테스트 4
• 2.1.2. 모델 변환 기법 5
• 2.1.3. UML Testing Profile 6
• 2.2. UML 모델 기반 테스트 방법의 기존 연구 8
• 3. UML 모델 기반 테스트 방법 13
• 3.1. UTP 테스트 케이스 13
• 3.2. 클래스 다이어그램으로부터 테스트 케이스 생성을 위한 모델 변환 15
• 3.2.1. 클래스 다이어그램으로부터 테스트 케이스로의 M2M 변환 규칙 16
• 3.3. 액티비티 다이어그램으로부터 테스트 케이스 생성을 위한 모델 변환 18
• 3.3.1. 액티비티 다이어그램으로부터 테스트 케이스로의 M2M 변환 규칙 20
• 3.4. 시퀀스 다이어그램으로부터 테스트 케이스 생성을 위한 모델 변환 26
• 3.4.1. 시퀀스 다이어그램으로부터 액티비티 다이어그램으로의 M2M 변환 규칙 27
• 3.4.2. 액티비티 다이어그램으로부터 테스트 케이스로의 M2M 변환 규칙 29
• 4. 적용 예제 31
• 4.1. 클래스 다이어그램 기반 테스트 적용 예제 31
• 4.2. 시퀀스 다이어그램 및 액티비티 다이어그램 기반 테스트 적용 예제 35
• 5. 결론 및 향후 연구방향 41
• 6. 참고문헌 42