객체지향 소프트웨어 테스트 자동생성 및 최적화 방법

초록

본 논문은 상태도(State Chart Diagram)에서 상태 전이 그래프를 추출하고, 이를 기반으로 테스트 시퀀스를 자동 생성한 뒤 노드 커버리지를 이용해 중복 테스트를 최소화하는 최적화 기법을 제안한다. 제안 기법은 전이 경로, 경로, 액션 커버리지를 만족하도록 테스트 케이스를 생성하고, 자동 발권기(ATM) 사례를 통해 비용과 시간 절감 효과를 입증한다.

상세 분석

이 논문은 객체지향 시스템의 동적 행동을 모델링하는 상태도(state chart diagram)를 테스트 설계의 출발점으로 삼는다. 먼저 상태도에서 모든 상태와 전이를 추출하여 유향 그래프 형태의 상태 전이 그래프(state transition graph, STG)를 만든다. 이 과정에서 복합 상태, 병행 상태, 히스토리 전이 등 UML 상태도의 고유 특성을 평면화하여 단순화된 그래프 구조로 변환한다는 점이 핵심이다. 변환된 STG는 정점(노드)이 시스템의 상태를, 간선이 이벤트에 의한 전이를 나타내며, 각 전이에 연결된 액션(입력·출력·내부 처리)도 메타데이터로 보관한다.

다음 단계에서는 STG를 기반으로 테스트 시퀀스를 자동 생성한다. 논문은 전이 경로 커버리지(Transition Path Coverage), 경로 커버리지(Path Coverage), 액션 커버리지(Action Coverage)라는 세 가지 목표를 동시에 만족하도록 알고리즘을 설계한다. 전이 경로 커버리지는 모든 가능한 전이 조합을 최소 한 번씩 포함하는 경로를 찾는 것이고, 경로 커버리지는 모든 단순 경로(루프를 제외한 경로)를 포함한다. 액션 커버리지는 각 전이에 연결된 액션이 최소 한 번 실행되도록 보장한다. 이를 위해 깊이 우선 탐색(DFS)과 백트래킹을 결합한 탐색 전략을 사용하고, 루프가 존재할 경우 제한된 반복 횟수(예: 2회)로 전이 횟수를 제어한다.

생성된 테스트 케이스 집합은 보통 매우 규모가 크다. 따라서 논문은 노드 커버리지 기반의 최소화 기법을 도입한다. 각 테스트 케이스가 방문하는 노드 집합을 계산하고, 다른 케이스가 포함하는 노드 집합을 비교하여 중복되는 케이스를 제거한다. 구체적으로는 “집합 포함 관계”를 이용해, A 케이스가 B 케이스의 노드 집합을 완전히 포함하면 A를 삭제한다. 이 과정은 NP‑hard 문제이지만, 탐색 순서를 정렬하고, 큰 커버리지를 가진 케이스부터 차례로 선택하는 휴리스틱을 적용해 실용적인 시간 안에 최적에 근접한 최소 집합을 얻는다.

제안 기법의 실효성을 검증하기 위해 자동 발권기(ATM) 시스템을 사례 연구로 선택하였다. ATM의 상태도는 ‘대기’, ‘카드 삽입’, ‘비밀번호 입력’, ‘결제 처리’, ‘영수증 출력’ 등 7개의 주요 상태와 12개의 전이로 구성된다. 논문은 이 모델을 STG로 변환하고, 위 알고리즘을 적용해 초기에는 48개의 테스트 시퀀스가 도출되었으나, 최소화 단계에서 18개로 축소되었다. 커버리지 측정 결과, 전이 경로 100%, 경로 96%, 액션 100%를 유지하면서 테스트 실행 시간과 비용이 약 62% 감소한 것으로 보고한다.

기술적 강점으로는 (1) UML 상태도를 그대로 활용해 설계 단계와 테스트 단계 사이의 간극을 메우는 점, (2) 다중 커버리지 기준을 동시에 만족하도록 자동 생성 로직을 설계한 점, (3) 노드 커버리지 기반 최소화가 실용적인 테스트 규모 감소를 달성한다는 점을 들 수 있다. 반면 한계점은 복잡한 병행 상태와 깊은 계층 구조를 가진 대규모 시스템에서 그래프 변환 및 탐색 비용이 급증할 가능성이 있다는 점이며, 루프 전이의 반복 횟수를 임의로 제한함에 따라 일부 경로가 누락될 위험도 존재한다. 또한, 테스트 케이스 최소화가 완전 최적을 보장하지 않으며, 휴리스틱에 의존한다는 점도 향후 연구 과제로 남는다.

전반적으로 이 논문은 모델 기반 테스트 자동화와 비용 효율적인 테스트 설계라는 두 축을 동시에 추구하는 실용적인 접근법을 제시한다. 특히 객체지향 시스템에서 상태 기반 동작 검증이 필수적인 분야(예: 임베디드, 실시간 제어, 금융 트랜잭션)에서 적용 가능성이 높으며, 향후 자동화 도구와 연계해 CI/CD 파이프라인에 통합될 경우 테스트 주기 단축과 품질 향상에 크게 기여할 것으로 기대된다.