[QA] 🧪 상태전이 테스트

​

상태 전이 테스트

- 시스템의 상태 전이도를 기반으로 테스트 케이스 도출

- 실물을 보고 전개도를 뽑아내는 기법

1. 대상 시스템의 상태 전이도 모델링

2. 상태 전이도로부터 전이 트리 작성

3. 전이 트리로부터 각 전이 경로를 테스트하는 테스트 케이스 작성

4. 비정상적인 전이를 테스트 하는 테스트 케이스를 생성

*게임의 경우 완성품을 테스트 하는지라 4의 경우는 특수한 경우를 제외하고 존재하기 어렵습니다.

---

방법 :

​

1) 대상 시스템의 상태 전이도를 모델링

 

 

2) 상태 전이도로부터 전이 트리를 만든다 (루트 노드는 지정)

 

 

 

 

3) 전이 트리로부터 각 전이 경로를 테스트 하는 테스트 케이스를 생성

상태 전이도 -> 전이 트리 -> 노드를 묶어 테스트 케이스 작성

 

 

 

 

4) 비정산적인 전이를 테스트

 

---

예시 문제)

 

 

 

1) 상태-이벤트 테이블 구성

-빨강 : 유효

-파랑 : 비유효

 

​

2) 전이 트리 구성

 

​

3) 유효 테스트 케이스

 

​

4) 비유효 테스트 케이스 구성

 

​

5) 가드(Guard) 또는 조건 테스트 케이스 구성

이벤트가 조건을 포함하고 해당 조건에 따라 기대 결과가 달라지는 경우일 경우, 이것을 반영한 테스트 케이스이다.

 

가드의 조건이 동등 분할, 경계값 분석 기법을 적용할 수 있고, 가드가 복잡한 조건문으로 구성되어 있으면 컨디션 커버리지를 달성하는 테스트 케이스를 추가하거나, MC/DC 테스팅을 할 수 있다.

 

 

 

6) 테스트 프로시저(Test procedure) 구성

테스트 프로시저는 테스트의 실행 순서를 나타낸 것으로 테스트 케이스를 순차적으로 나열한 것이다. 테스트 프로시저를 기술한 문서를 테스트 프로시저 명세라고 하며, 테스트 스크립트 또는 수동 테스트 스크립트라고 한다.

 

테스트 프로시저가 주는 장점은 테스트 실행의 효율성을 높여주는 것 외에도, 테스트 프로시저를 통해 연속된 상태 전이를 이어서 테스트할 수 있으므로 제한적이기는 하지만 테스트 프로시저로 실행된 부분에 대해서는 더 강도 높은 테스트 레벨을 커버할 수 있다.