State Transition Testing (Valid Transitions Coverage)
1. Introduction
State transition testing is used when the system behavior depends on its current state and the events/conditions that trigger transitions.
This question asks for the MINIMUM number of test cases needed to achieve 100% valid transitions coverage.
상태 전이 테스트(State Transition Testing)는 시스템의 동작이 현재 상태(State)와 전이를 발생시키는 이벤트/조건에 따라 달라질 때 사용하는 기법입니다. 이 문제는 유효 전이(Valid transitions) 100% 커버를 위해 필요한 최소 테스트 케이스 수를 묻습니다.
2. Key Concept: Valid Transitions Coverage
100% valid transitions coverage means:
- Every valid state transition shown in the diagram must be executed at least once
To minimize test cases, we try to combine transitions into longer paths, but sometimes transitions are mutually exclusive and cannot appear in the same test case.
유효 전이 100% 커버란, 다이어그램에 정의된 모든 유효 전이를 최소 1회 이상 실행하는 것입니다. 테스트 케이스 수를 줄이려면 전이를 한 시나리오에 최대한 묶어야 하지만, 서로 양립할 수 없는 전이(같은 케이스에 포함 불가)가 있으면 케이스를 분리해야 합니다.
3. Practice Question
❓ Question
You are designing test cases based on the following state transition diagram.
What is the MINIMUM number of test cases required to achieve 100% valid transitions coverage?
- a) 3
- b) 2
- c) 5
- d) 6
✅ Correct Answer: a) 3
4. Explanation (EN / KR)
The following three transitions cannot appear in the same test case:
- REQUESTING → CONFIRMED
- WAITING LIST → CONFIRMED
- WAITING LIST → END
Because these transitions are mutually exclusive within a single path, we need at least three separate test cases. All other transitions can be combined with one or more of these three.
아래 3개의 전이는 하나의 테스트 케이스(단일 경로) 안에 함께 포함될 수 없습니다.
- REQUESTING → CONFIRMED
- WAITING LIST → CONFIRMED
- WAITING LIST → END
따라서 이 3개 전이를 각각 커버하기 위해 최소 3개의 테스트 케이스가 필요합니다. 그 외 전이들은 이들 중 하나 이상과 함께 묶을 수 있으므로, 최소값은 3입니다.
5. Minimal Test Case Set (100% Valid Transitions)
Only three valid sequences are needed:
TC1
START (Room request) → REQUESTING (Available) → CONFIRMED (Pay) → END
TC2
START (Room request) → REQUESTING (Not available) → WAITING LIST (Available) → CONFIRMED (Pay) → END
TC3
START (Room request) → REQUESTING (Not available) → WAITING LIST (Cancel) → END
최소 테스트 케이스 구성(3개)은 다음과 같습니다.
- TC1: START → REQUESTING(Available) → CONFIRMED(Pay) → END
- TC2: START → REQUESTING(Not available) → WAITING LIST(Available) → CONFIRMED(Pay) → END
- TC3: START → REQUESTING(Not available) → WAITING LIST(Cancel) → END
6. Why the other options are incorrect
- b) 2: Not enough to include the three mutually exclusive transitions
- c) 5 and d) 6: More than necessary; all valid transitions can be covered with 3
- 2개로는 서로 함께 포함될 수 없는 전이 3개를 모두 커버할 수 없습니다.
- 5개/6개는 과도합니다. 유효 전이는 3개로 충분히 100% 커버 가능합니다.
7. Final Takeaway
For ISTQB exams, remember:
Minimum test cases = number of mutually exclusive transition groups you must cover
시험에서는 이렇게 기억하면 좋습니다.
최소 테스트 케이스 수는 “같은 경로에서 함께 커버 불가능한 전이 그룹”의 개수에 의해 결정된다.
Related: More ISTQB Posts | Next Question