레거시 애플리케이션에서 기능적 측면 추출하기

초록

본 논문은 레거시 객체지향 프로그램에서 기능적 관점을 식별·분리하기 위해 프로그램 슬라이싱을 활용하는 방법을 제시한다. 기능적 측면을 정의하고, 슬라이스 기준을 설계해 기존의 어스펙트 마이닝·피처 로케이션 기법보다 정밀한 후보를 도출한다. 두 중간 규모 오픈소스에 적용한 실험 결과, 적절한 기준을 사용하면 잘 정의된 기능적 측면을 얻을 수 있음을 보이며, 설계 품질이 후보 추출에 미치는 영향을 탐색한다.

상세 요약

이 연구는 레거시 시스템을 현대적인 모듈화·재사용 구조로 전환하려는 실무자와 학계에 중요한 통찰을 제공한다. 먼저 저자들은 “기능적 측면(functional aspect)”을 ‘특정 비즈니스 로직이나 기능을 구현하는 코드 조각이지만, 객체지향 클래스·메서드 경계와는 별개로 존재하는 논리적 단위’로 정의한다. 이러한 정의는 전통적인 어스펙트 마이닝이 주로 ‘관심사의 횡단적 분리’를 목표로 하는 반면, 기능적 측면은 실제 실행 흐름과 데이터 흐름에 기반한 구체적 기능을 강조한다는 점에서 차별된다.

프로그램 슬라이싱은 지정된 슬라이스 기준(예: 특정 변수, 메서드 호출, 예외 처리 경로 등)에 따라 프로그램의 실행 경로와 데이터 의존성을 역추적해 관련 코드 집합을 추출한다. 논문은 두 가지 슬라이스 기법—정적 슬라이스와 동적 슬라이스—을 비교하고, 기능적 측면을 식별하기 위해 ‘시작점(시그니처 메서드·변수)’과 ‘끝점(결과 변수·출력)’을 명시적으로 지정하는 ‘양방향 슬라이스 기준’을 제안한다. 이 기준은 기존 피처 로케이션이 단일 키워드·문서 기반 검색에 의존하는 것과 달리, 실제 실행 흐름을 반영해 보다 정확한 후보를 제공한다.

실험에서는 두 개의 중간 규모 오픈소스(예: JEdit 플러그인 관리 모듈, JFreeChart 차트 렌더링 엔진)를 대상으로 슬라이스 기반 기능적 측면 추출을 수행했다. 결과는 (1) 슬라이스 기준이 명확히 정의될 경우, 추출된 코드 집합이 높은 응집도와 낮은 결합도를 보이며, (2) 기존 어스펙트 마이닝 도구가 놓친 미세한 기능적 단위도 포착한다는 점을 보여준다. 특히, 설계 품질—예를 들어 클래스 간 의존성 그래프의 복잡도나 모듈화 정도—가 높을수록 슬라이스 후보의 정확도가 향상되는 경향을 발견했다. 이는 설계가 깔끔할수록 데이터·제어 흐름이 명확해져 슬라이스 연산이 불필요한 코드까지 포함할 위험이 감소하기 때문이다.

한계점으로는 (가) 동적 슬라이스는 실행 트레이스에 크게 의존하므로 테스트 커버리지가 부족하면 중요한 경로를 놓칠 수 있다, (나) 슬라이스 기준 설정이 전문가 지식에 의존해 자동화가 어려울 수 있다, (다) 대규모 시스템에 적용할 경우 슬라이스 연산 비용이 급증한다는 점을 들었다. 저자들은 이러한 문제를 해결하기 위해 슬라이스 기준 자동 추론 알고리즘과 비용 효율적인 근사 슬라이스 기법을 향후 연구 과제로 제시한다.

전반적으로 이 논문은 프로그램 슬라이싱을 기능적 측면 추출에 적용함으로써, 레거시 코드의 구조적 이해와 재구성을 지원하는 새로운 방법론을 제시한다. 기존 어스펙트 마이닝·피처 로케이션과 비교했을 때, 실행 흐름 기반의 정밀한 코드 집합을 제공한다는 점에서 실무적 가치를 높이며, 설계 품질과 슬라이스 효율성 사이의 상관관계를 밝혀 향후 자동화 도구 개발에 중요한 방향성을 제시한다.