1. Introduction
This question evaluates your understanding of State Transition Testing, specifically how to maximize valid transitions coverage using a sequence of events.
이 문제는 상태 전이 테스트(State Transition Testing)에서 주어진 이벤트 시퀀스로 최대 전이 커버리지를 달성할 수 있는 테스트를 찾는 문제입니다.
2. System Description
The storage system:
- Can hold up to 3 elements
- Tracks count using variable N
- “Add” increases N by +1 (unless N=3 → invalid)
- “Remove” decreases N by –1 (unless N=0 → invalid)
- State changes between NOT FULL and FULL
스토리지는 최대 3개까지 저장 가능하며 N으로 현재 요소 개수를 관리합니다. Add는 +1, Remove는 –1이 되며 N=0에서 Remove, N=3에서 Add는 유효 전이가 아님에 주의해야 합니다.
3. Valid Transitions
Transitions are named E1–E5 (as in the original diagram).
- E1: Add (N:0→1)
- E2: Add (N:1→2)
- E3: Add (N:2→3 → FULL)
- E4: Remove (N:3→2 → NOT FULL)
- E5: Remove (N:2→1), Remove (1→0)
목표는 이 5개의 유효 전이(E1~E5)를 테스트 시퀀스에서 최대한 많이 커버하는 것입니다.
4. Test Case Analysis
a) Add, Remove, Add, Add, Add
→ E1, E3, E3, E2, E4 → 4/5 transitions covered (80%)
총 4개 커버 → 80%
b) Add, Add, Add, Add, Remove, Remove
→ After N=3, another Add is invalid → infeasible
4번째 Add는 불가능 → 테스트 전체가 유효하지 않음. 커버리지는 더 낮음.
c) Add, Add, Add, Remove, Remove
→ E1, E2, E3, E4, E5 → 5/5 transitions covered (100%)
모든 전이(E1~E5) 커버 → 100%
d) Add, Add, Add, Remove, Add
→ E1, E2, E3, E4, E4 → 4/5 transitions covered (80%)
총 4개 커버 → 80%
5. Correct Answer
✅ Correct Answer: c)
📘 Explanation (EN/KR)
- a) Covers 4 transitions → not highest.
- b) Contains invalid Add while full → infeasible.
- c) Covers all 5 transitions → highest coverage (100%).
- d) Covers 4 transitions → not highest.
c)는 유효 전이 5개(E1~E5)를 모두 포함해
가장 높은 커버리지(100%)를 달성하므로 정답입니다.
FL-4.2.4
Related: More ISTQB Posts