재구성을 위한 상태머신 추출 변환 사례 연구

초록

본 논문은 자바 추상 구문 그래프를 입력으로 하여, 코드에 내재된 상태머신을 모델링하는 변환 과제를 제시한다. 핵심 과제는 “State” 클래스를 상속받는 모든 구체 클래스와, 메서드 호출 패턴을 통해 나타나는 전이 관계를 식별해 상태와 전이 객체를 생성하는 것이다. 추가 과제로 전이의 트리거와 액션을 코딩 관례에 따라 추출한다. 성능, 정확성, 가독성을 평가 기준으로 삼아 변환 솔루션을 설계·평가한다.

상세 분석

이 사례 연구는 소프트웨어 재구성에서 가장 흔히 마주치는 “소스코드만이 유일한 진실”이라는 전제 하에, 정형화된 코딩 관례를 활용해 자동화된 모델 추출을 시도한다. 입력 메타모델은 JaMoPP가 제공하는 Ecore 기반 자바 추상 구문 그래프이며, 약 6 500개의 요소를 가진 소규모 모델부터 1 백만 개 요소에 달하는 대규모 산업 모델까지 세 단계로 구성된다. 핵심 변환 목표는 두 가지이다. 첫째, “State”라는 추상 클래스를 직접·간접적으로 상속받는 모든 비추상 클래스를 상태(State) 객체로 매핑하고, 이들 클래스가 싱글톤 패턴을 따르는 점을 이용해 인스턴스 생성 메서드인 Instance() 호출을 탐지한다. 둘째, Instance().activate() 형태의 메서드 호출을 전이(Transition)로 인식하고, 호출이 발생한 메서드와 주변 구문 구조를 분석해 전이의 출발·목적 상태를 연결한다.

전이 탐지는 비국소적 매칭이 요구된다. 상속 계층 깊이가 제한되지 않으며, 전이 호출이 메서드 내부의 중첩 블록, 스위치 케이스, 예외 처리 블록 등 어디에 있든지 정확히 찾아야 한다. 이를 위해 변환 엔진은 그래프 탐색과 패턴 매칭을 조합해, MethodCall 노드에서 호출 대상 메서드(Method)와 그 반환값(Instance)을 역추적하고, 최종적으로 activate 메서드 호출까지 연결한다.

확장 과제는 트리거와 액션 속성을 채우는 것이다. 트리거는 네 가지 규칙에 따라 결정된다. (1) run() 이외의 메서드에서 발생한 전이는 해당 메서드 이름, (2) run() 내부 스위치 케이스에서 전이가 발생하면 케이스 라벨인 열거형 상수, (3) run() 내부 catch 블록에서는 잡힌 예외 클래스명, (4) 위 조건에 해당하지 않으면 “–” 로 표시한다. 액션은 전이가 포함된 블록 내에 send() 호출이 존재하면 그 인자로 전달된 열거형 상수명을 사용하고, 없으면 “–” 로 표기한다. 이러한 규칙은 코드에 명시된 상태머신의 동작 의도를 그대로 추출하도록 설계되었다.

평가 기준은 이해가능성·간결성(30 %), 정확성·완전성(35 %), 성능(5 %)으로 구성된다. 이해가능성·간결성은 각 코딩 관례가 변환 규칙에 명확히 대응되는지를 평가하고, 정확성·완전성은 생성된 상태·전이 모델이 원본 코드의 실제 흐름을 완전히 재현하는지를 검증한다. 성능은 대규모 모델(수백만 노드)에서도 변환이 실용적인 시간 안에 완료되는지를 측정한다.

이 논문은 변환 도구 대회(TTC 2011)의 사례로 제시되었으며, GReTL을 이용한 구현 예시가 제공된다. 제시된 변환은 단순히 상태머신을 시각화하는 수준을 넘어, 레거시 시스템의 구조적·행위적 이해를 지원함으로써 재구성 프로젝트의 초기 분석 비용을 크게 절감할 수 있음을 시사한다.