교호작용 및 종속성 분석을 통한 테스트 케이스 생성
Test case generation through interaction and dependency analysis
- 주제(키워드) 소프트웨어 테스트 , 교호작용 테스트 , 테스트 케이스 조합 , 테스트 케이스 감소
- 발행기관 아주대학교
- 지도교수 장중순
- 발행년도 2006
- 학위수여년월 2006. 2
- 학위명 석사
- 학과 및 전공 일반대학원 산업공학과
- 본문언어 한국어
초록/요약
실험계획법의 직교배열은 일부실시법(fractional factorial design)의 배치에 사용되는데, 일부실시법이란 불필요한 교호작용이라든가 고차의 교호작용을 구하지 않고 실험의 크기를 작게 할 수 있도록 파라미터의 조합 중 일부만을 실험하는 방법이다. 이 때 일부 조합하는 파라미터의 수가 2이면 pair-wise, 3이상이면 t-way(n>2) 테스트이라고 부른다. 소프트웨어 테스트에서는 이러한 방법을 교호작용 테스트(interaction testing)이라 하는데, 실제로는 결함을 일으키는 교호작용 강도가 몇인지 알 수 없기 때문에 100% 교호작용 커버리지를 만족하기 어렵다. 또한 시스템의 행위를 정형화된 모델링을 통하여 테스트 케이스를 생성하는 모델기반 테스트(model based testing)가 소프트웨어 테스트에 많이 활용된다. 이 방법은 시스템 요구사항과 특정 기능을 모델링 함으로써 효율적인 테스트 절차 및 순서를 자동적으로 생성할 수 있는 장점이 있다. 하지만 입력 순서가 고려되어야 하는 모델 기반 테스트는 테스트 케이스의 수가 폭발(explosion)적으로 증가 하여 시간 제약으로 인해 테스트가 불가능해 질 수 있기 때문에 테스트 케이스의 수를 적절히 줄일 수 있어야 한다. 따라서 본 논문에서는 센서 등 환경 입력에 대한 입출력 분석을 통한 교호작용 테스트 방법과 입력 순서가 고려되어야 하는 모델 기반 테스트의 입력 파라미터인 스위치, 버튼 등의 사용자 입력에 대해 시스템 종속성 분석을 통해 테스트 케이스의 수를 줄이는 방법을 제안하고자 한다.
more목차
제1장 서 론 1
1.1 연구의 목적 및 배경 1
1.2 기존 연구 고찰 4
1.3 연구 범위 및 내용 9
제2장 교호작용 및 모델기반 테스트 케이스 생성 11
2.1 교호작용(interaction) 테스트 11
2.2 교호작용 테스트의 효과 13
2.3 교호작용 테스트의 기원 15
2.3.1 라틴 방격법(Latin square design) 15
2.3.2 직교 배열표(tables of orthogonal arrays) 16
2.4 소프트웨어 테스트의 교호작용 테스트 알고리즘 18
2.4.1 In-Parameter-Order(IPO) 18
2.4.2 Heuristic t-wise (AETG) 22
2.5 복합 교호작용 테스트 24
2.5.1 Covering Array(CA) 24
2.5.2 Mixed level Covering Array(MCA) 25
2.5.3 Variable strength Covering array(VCA) 26
2.6 모델 기반 테스트 27
2.6.1 FSM (Finite State Machine) 27
제3장 교호작용 및 종속성 분석을 통한 테스트 케이스 생성 29
3.1 외부 환경입력 31
3.1.1 단일 입력 32
3.1.2 다중 입력 39
3.1.3 Selective Covering Array 45
3.2 사용자 입력 47
3.2.1 사용자 입력간 종속성 분석 50
제4장 사례 연구 54
4.1 테스트 케이스 생성 결과 54
4.1.1 환경 입력 테스트 케이스 생성 54
4.1.2 사용자 입력 테스트 케이스 생성 56
제5장 결 론 58
