명세 기반 테스트

I. 요구명세 기반, 명세 기반 테스트 개요

가. 명세 기반 테스트 기법의 정의

• 프로그램 구조를 고려하지 않고 프로그램의 요구 사항 명세서를 기반으로 테스트 케이스를 선정하여 테스트하는 기법

나. 명세 기반 테스트 기법의 특징

• Black Box Test: 시스템 내부는 Black Box로 간주
• Data Driven: 입출력 데이터 흐름에 초점

II. 명세서 기반 기법 종류

기법	설명
동등 분할 기법 (Equivalence Partitioning)	프로그램의 입력 도메인을 테스트 케이스가 산출될 수 있는 데이터의 클래스로 분류하는 방법 다양한 입력 조건들을 갖춘 테스트 케이스 유형을 분할
경계값분석기법 (Boundary Value Analysis)	입력 조건의 경계 값에서 에러가 발생 될 확률이 높다는 점을 이용하여 실행하는 테스트 케이스 생성 경계치에 치중하여 출력 유형도 고려
원인 결과 그래프 기법 (Cause Effect Graph)	입력 데이터 간 관계가 출력에 미치는 영향을 그래프로 표현하여 오류를 발견하도록 함
Control Flow Testing	명세서와 같은 요구 사항 문서로부터 동적인 제어 흐름 그래프 생성, 생성한 모델로부터 Test Path를 선택 Test Path: 1, 2, 3, 4 or 1, 2, 4
의사결정테이블 (Decision Table Testing)	주요한 의사 결정 요소들을 표로 만들고 요소들 간 결합에 의한 테스트 케이스 설계 의사 결정 요소 조합을 통해 다양한 형태 시나리오 도출
상태 전이 테스트	상태 전이 다이어그램을 통해 이벤트, 액션, 활동, 상태 변화로 발생되는 관계, 동작을 파악하여 검증 Embedded 소프트웨어 테스트 시 적용

III. 테스트 유형에 따른 테스트 기법 Mapping