테스팅 자동화를 위한 모델 기반 테스트 케이스 생성기
Model based Test Case Generator for Automatic Testing
- 발행기관 아주대학교
- 지도교수 정기현
- 발행년도 2010
- 학위수여년월 2010. 2
- 학위명 석사
- 학과 및 전공 일반대학원 전자공학과
- 실제URI http://www.dcollection.net/handler/ajou/000000010346
- 본문언어 한국어
- 저작권 아주대학교 논문은 저작권에 의해 보호받습니다.
초록/요약
임베디드 시스템의 높은 품질에 대한 기대로 테스팅의 중요성은 커지고 있다. 테스팅을 위한 일련의 과정 중에서 테스트 케이스 생성은 테스팅 자동화를 위해 중요한 작업이다. 이 논문은 임베디드 소프트웨어 테스팅 자동화를 위한 테스트 케이스 생성기의 개발에 대해 논한다. 먼저 테스트 케이스 생성기에 적용할 생성 기법을 논하기 위해, 전통적인 상태 기반의 요구 사항 모델에 대해 연구된 테스트 케이스 생성 기법을 살펴 보고, Requirement-Based Testing(RBT)를 위해 새롭게 제시된 그래픽 언어 기반의 요구사항에 대해 이를 적용할 수 있는 방안들로 상태 공간 변환 기법을 제시한다. 그래픽 언어를 이용하여 작성된 요구사항 모델에 대해 조건, 결정 커버리지 및 MC/DC를 정의하고, 커버리지를 만족할 수 있도록 하는 테스트 케이스 타깃에 대한 개념을 정의한다. 앞서 제시한 테스트 케이스 생성 기법에 따라, 주어진 테스트 케이스 타깃을 만족하기 위한 테스트 케이스 생성 절차를 세우고, 이를 지원하는 테스트 케이스 생성기의 구현를 위해, 테스트 케이스 생성기의 세부 모듈별 설계를 제시한다. 마지막으로, REED라는 툴로 작성된 실제 요구사항 모델로부터 테스트 케이스 생성을 적용한 예를 살펴 보고, 본 논문에서 제시한 테스트 케이스 생성기가 테스팅 자동화에 효율적인 것을 확인한다.
more목차
본문 차례 (List of Text)
그림 차례 (LIST OF FIGURE) VII
제１장 서론 9
제２장 관련 연구 11
제１절 그래픽 언어 기반의 요구사항 모델의 테스트 케이스 생성 기법 11
제２절 상태 다이어그램 기반의 테스트 케이스 생성 기법 13
제３장 요구사항 다이어그램 15
제１절 REED(REQUIREMENT EDITOR) 15
제２절 테스트 케이스 생성을 위한 커버리지 정의 19
제４장 테스트 케이스 생성 절차 23
제１절 테스트 케이스 타깃 생성 23
제２절 상태 기반의 해석 25
제３절 요구사항 모델의 상태 공간 만들기 27
제４절 테스트 케이스 도출 29
제５장 테스트 케이스 생성기 설계와 구현 31
제１절 테스트 케이스 생성기의 세부 모듈 31
제２절 테스트 케이스 생성기 실행 결과 36
제６장 결론 39
참고문헌 41
