상태도 기반 최소 테스트케이스 생성 기법

초록

본 논문은 객체지향 시스템의 상태차트를 활용해 상태전이 그래프를 추출하고, 전이·경로·동작 커버리지를 만족하는 테스트케이스를 자동 생성한 뒤, 노드 커버리지 분석을 통해 중복 테스트를 최소화하는 절차를 제시한다. 철도 티켓 판매기 사례를 통해 접근법의 실효성을 검증한다.

상세 분석

이 연구는 현재 산업 현장에서 널리 사용되는 UML 상태차트를 테스트 설계의 출발점으로 삼는다. 기존의 테스트 생성 기법은 주로 코드 수준 혹은 시퀀스 다이어그램에 의존해 테스트 케이스를 도출했으나, 상태차트는 시스템의 전반적인 동작 흐름과 이벤트‑조건‑액션 구조를 명시적으로 표현한다는 점에서 테스트 목적에 부합한다. 논문은 먼저 상태차트로부터 유한 상태 전이 그래프(FSTG)를 자동 변환한다. 이 과정에서 각 상태와 전이, 전이 조건(guard), 전이 액션을 정규화하여 그래프의 정점과 간선에 매핑한다. 이후 전이 경로 커버리지(Transition Path Coverage), 경로 커버리지(Path Coverage), 액션 커버리지(Action Coverage) 세 가지 기준을 동시에 만족하도록 테스트 시퀀스를 생성한다. 특히, 전이 경로 커버리지는 모든 가능한 전이 조합을 포함하도록 설계돼, 복합 이벤트 시나리오에서도 누락 없이 테스트가 가능하도록 한다.

생성된 테스트 케이스 집합은 규모가 커질 경우 실행 비용이 급증한다는 문제를 안고 있다. 이를 해결하기 위해 논문은 “노드 커버리지 기반 최소화” 알고리즘을 제안한다. 각 테스트 케이스가 방문하는 상태(노드) 집합을 계산하고, 다른 케이스에 의해 완전히 포함되는 경우 해당 케이스를 제거한다. 이때, 최소 커버리지를 유지하기 위해 집합 커버 문제를 근사적으로 해결하는 그리디 전략을 적용한다. 결과적으로 전체 테스트 수는 크게 감소하면서도 원래 목표한 커버리지는 100% 유지된다.

논문의 실험은 Railway Ticket Vending Machine(RTVM) 시스템을 모델링한 상태차트를 대상으로 수행되었다. RTVM은 티켓 선택, 결제, 발권, 오류 처리 등 복합적인 상태 전이를 포함한다. 변환된 전이 그래프는 12개의 상태와 28개의 전이로 구성되었으며, 초기 생성된 테스트 케이스는 45개였다. 최소화 단계 후 18개의 테스트 케이스만 남았음에도 모든 전이와 액션을 검증할 수 있었다. 이는 테스트 비용(시간·인력) 절감 효과를 정량적으로 입증한다.

핵심 기여는 다음과 같다. 첫째, 상태차트에서 직접 전이 그래프를 추출함으로써 모델 기반 테스트 설계의 자동화를 달성했다. 둘째, 전이·경로·액션 커버리지를 동시에 만족하는 테스트 생성 전략을 제시해 테스트 완전성을 보장한다. 셋째, 노드 커버리지 기반 최소화 알고리즘을 통해 테스트 스위트의 규모를 효율적으로 축소한다. 마지막으로 실제 산업 사례에 적용해 실용성을 검증했다. 이러한 접근은 복잡한 객체지향 시스템의 품질 보증에 있어 비용 효율적인 테스트 전략으로 활용될 가능성이 크다.