10장 명세 기반 테스트 - 10.7 상태 전이 테스트

10.7 상태 전이 테스트

시스템을 상태 전이도로 모델링한 후 테스트 케이스들을 상태 전이도에서 체계적으로 선정하는 방법

상태 전이도는 시스템 외부에서 들어오는 일련의 이벤트들에 대해 시스템 상태가 어떻게 전이되고 어떤 식으로 반응하는가를 나타냄

 

 

• 검은 원: 시스템의 시작점
• 원: 시스템 상태
• 화살표: 상태 간의 전이
• PUSH SWITCH: 시스템 외부에서 시스템으로 들어오는 시스템의 상태 변화를 야기하는 이벤트
• / LIGHT OFF: 시스템의 행위

상태 전이 테스트 방식

• 상태 테스트: 모든 상태를 최소한 한 번 방문
• 단일 전이 테스트: 모든 유효한 전이들을 최소한 한 번 방문
• All transitions 테스트: 유효한 전이 + 유효하지 않은 전이들을 최소한 한 번 방문
• 다중 전이 테스트: 상태 전이도에 있는 N+1개의 전이 시퀀스들을 최소한 한 번 방문

테스트 절차

➡️

(1) 상태 전이도를 전이 트리로 변경

(2) 전이 트리의 각 간선이 하나의 테스트 케이스에 해당

유효한 전이만을 테스트

 

(3) 유효하지 않은 경우의 테스트 케이스 추가