SW 테스트 - 명세 기반 테스트

 

 

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

2. 명세기반기법의 종류

 1) 동등 클래스 분할, ECP (Equivalence Class Partitioning) : 입력값/출력값 영역을 상호독립적 집합으로 나누어 시험사례 유형들을 분할하여 테스팅

 2) 경계값 테스팅 (Boundary Value Testing) : 경계부분에 해당하는 입력값에서 결함이 발생될 확률이 높기 때문에 경계값을 포함하여 테스팅

 3) 원인결과 그래프 테스팅(Cause-Effect Graphing Testing) : 원인이 되는 입력값과 결과가 되는 출력 값을 논리적 그래프로 표현

 4) Control Flow Testing : 흐름 그래프를 생성하고, 생성한 모델로부터 Test Path를 선택하여 테스트

 5) 상태전이 테스팅 : 상태전이 다이어그램 통해 이벤트, 액션, 활동, 상태 변화로 발생되는 관계, 동작 파악하여 검증 / 임베디드 SW 테스트 시 적용

 6) Decision Table Testing : 주요한 의사결정 요소들을 표로 만들고, 요소들간의 결합에 의한 데스트 케이스 설계

3. 동적기법의 명세기반 테스트는 인수/시스템/통합/단위 test 에서 사용됨