1대1 요구사항 모델링을 통한 테스트 케이스 자동 생성
Automatic Test Case Generation Through 1-to-1 Requirement Modeling
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
생성된 테스트 케이스와 요구사항과의 연관관계가 중요하지만, 모델을 이용한 테스트 케이스 자동생성에서는 모델이 요구사항과 m:n의 관계를 맺기 때문에 테스트 케이스와 요구사항과의 관계도 매우 복잡해진다. 본 논문에서는 1:1 모델링 도구인 REED(REquirement EDitor)를 이용하여 테스트 케이스를 생성하는 방법에 대하여 기술한다. 테스트 케이스는 커버리지 타겟 생성, IORT(Input Output Relation Tree) 생성, 테스트 케이스 생성의 3단계를 거치며, 모든 단계는 자동으로 진행된다. 생성된 테스트 케이스는 하나의 요구사항에서 생성될 수 있으며 실제 시스템에 적용한 결과, 온도조절장치 경우는 5,566개, 버스카드 단말기의 경우는 3,757개, 굴착기 제어기는 4,611개의 테스트 케이스가 생성되었다.
Abstract
A relation between generated test cases and an original requirement is important, but it becomes very complex because a relation between requirement models and requirements are m-to-n in automatic test case generation based on models. In this paper, I suggest automatic generation technique for REED (REquirement EDitor), 1-to-1 requirement modeling tool. Test cases are generated though 3 steps, Coverage Target Generation, IORT (Input Output Relation Tree)Generation, and Test Cases Generation. All these steps are running automatically. The generated test cases can be generated from a single requirement. As a result of applying to three real commercial systems, there are 5566 test cases for the Temperature Controller, 3757 test cases for Bus Card Terminal, and 4611 test cases for Excavator Controller.
참고문헌 (19)
- J.J. Gutierrez, "Generation of test cases from functional requirements.A survey", Congreso:SV06. 4th Workshop on System Testing and Validatio (2006)
- Tahat, L.H, "Requirement-based automated black-box test generation", 25th Annual International Computer Software and Applications Conference, 2, pp.636~639 (2001)
- Ajitha Rajan, "Automated requirements-based test case generation", ACM SIGSOFT Software Engineering Notes, 31(Issue6), pp.1~2 (2006)
- Offutt J, "Generating tests from UML specifications", Proceedings of the Second International Conference on. the Unified Modeling Language (UML ’99), pp.416~429 (1999)
- Alessandra Cavarra, "Using UML for Automatic Test Generation", Tools and Algorithms for the Construction and Analysis of Systems, (TACAS'2000), ~ (2000)
- Jörg Desel, "A test case generator for the validation of high-level Petri nets", 1997 6th International Conference on Emerging Technologies and Factory Automation Proceedings, ETFA '97, pp.327~332 (1997)
- C. Bourhfir, "Automatic executable test case generation for extended finite state machine protocols", Proceedings of IFIP TC6 10th International Workshop on Testing of Communicating Systems, pp.75~90 (1997)
- 오정섭, "그래픽 언어를 이용한 임베디드 시스템의 단일 요구사항 모델링", 정보처리학회논문지D, 15(4), pp.505~512 (2008), 한국정보처리학회
- "Unified Modleling Language (UML), Version 2.1.2"[URL]
- "The MathWorks,Inc"[URL]
- "Conformiq QtronicTM SG : Semantic and Algorithms for Test Generation"[URL]
- N. De Francesco1, "A semantic driven method to check the fineteness of CCS processes", Computer Aided Verification, 575, pp.266~276 (1992)
- A.Gargantini, "Using Model Checking to Generate Tests from Requirements Specifications", Proceedings of the Joint 7th Eur. Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.146~162 (1999)
- "Reactive Systems, Inc"[URL]
- "Safety Test Builder, Automatic Test Generation, for Simulink/Stateflow"[URL]
- "BEACON for Simulink/ Stateflow"[URL]
- "T-Vec Tester for Simulink"[URL]
- "Simulink Design verifier"[URL]
- "A Practical Tutorial on Modified Condition/Decision Coverage"[URL]