Statechart 행위 모델 기반의 테스트 오러클 생성 방법에 관한 연구
- 발행기관 고려대학교
- 발행년도 2004
- 학위명 박사
- 학과 및 전공 고려대학교 대학원:전산학과
- 식별자(기타) DL:000005719026
- 본문언어 한국어
- 서지제어번호 000000875860
초록/요약 도움말
최근의 객체지향 기술은 소프트웨어를 여러 응용 분야에 재사용 가능한 프레임웍(framework)의 형태로 개발하는 기술로 발전하고 있다. 객체지향 프레임웍은 다수의 응용 소프트웨어의 개발에 반복적으로 재사용할 목적으로 개발되므로 철저한 시험이 필요하다. 효과적인 객체지향 프레임웍 시험을 위해서는 프레임웍의 가변부위(hot spot)에 명시된 행위 명세를 프레임웍의 확장부위가 준수하는지 점검할 수 있는 테스트 오라클의 개발이 요구된다. 본 논문은 상태 의존적인 행위를 갖고 있는 소프트웨어 특히, 객체지향 프레임웍의 효과적인 시험을 지원하기 위하여, Statechart로 기술된 행위 모델로부터 실행 가능한 테스트 오라클을 자동 생성할 수 있는 방법을 제안한다. 이를 위하여, 본 논문에서는 우선 프레임웍 가변부위의 행위 명세에 사용될 Statechart에 대한 의미 메타모델(semantic meta-model)을 정의하고 이를 Object-Z로 정형 명세 한다. 그리고 본 논문에서 제안한 Statechart 행위 모델 기반의 테스트 오라클 생성 방법을 경보 감시 프레임웍의 시험에 적용한 사례를 설명한다.
more목차 도움말
요약 = ⅰ
목차 = ⅱ
1. 서론 = 1
2. 관련 연구 = 3
2.1 테스트 오라클 = 3
2.2 Statechart 정형화 = 6
3·Statechart 행위 모델 기반의 SUT 시험 환정 = 7
3.1 소프트웨어 시험성 = 7
3.2 시험성 강화를 위한 SUT 시험 환경 = 8
3.3 SUT 시험에서의 Statechart 행위 모델 = 9
3.4 Statechart 행위 모델 기반의 SUT 시험 환경 = 11
4. Statechart 및 매핑 규칙의 의미 정형화 = 14
4.1 Object-Z = 14
4.2 Statechart의 개요 및 의미 메타모델 = 14
4.2.1 Statechart 소개 = 15
4.2.2 Statechart 의미 메타모델 = 15
4.3 Statechart 의미 메타모델의 정형화 = 18
4.4 매핑 규칙 모델 = 44
4.5 매핑 규칙 모델의 의미 정형화 = 45
5. Statechart 테스트 오러클 생성 지원 환경 및 생성 방법 = 50
5.1 Statechart 테스트 오라클 생성 지원 환경 = 50
5.2 Statechart 테스트 오라클의 생성 과정 = 59
6. 사례 연구: 경보 감시 프레임웍 시험 = 64
6.1 객체지향 프레임웍의 특성 = 64
6.2 경보감시 프레임웍 = 65
6.3 경보감시 프레임웍을 위한 테스트 오러클 생성 = 70
6.4 경보감시 프레임웍의 시험 방법 및 결과 = 76
6.5 평가 = 80
7. 결론 및 향후연구 = 83
참고 문헌 = 85
