프로로그 테스트 데이터 생성 부분 평가 접근

초록

본 논문은 부분 평가(Partial Evaluation)를 이용해 프로로그 프로그램의 테스트 데이터를 자동으로 생성하는 방법을 제안한다. 기존 바이트코드 기반 TDG와 달리, 프로로그의 복잡한 제어 흐름과 실패 경로를 포착하기 위해 프로그램을 명시적 실패를 포함하도록 변환하고, 정수뿐 아니라 심볼릭 데이터도 다룰 수 있는 제약 도메인을 설계한다. 이를 통해 새로운 커버리지 기준 적용과 테스트 케이스 생성기의 자동 생성이 가능해진다.

상세 분석

이 연구는 두 단계의 부분 평가 파이프라인을 프로로그에 적용함으로써 기존 TDG(테스트 데이터 생성) 기법의 한계를 극복한다. 첫 번째 단계에서는 프로로그 인터프리터를 부분 평가하여 원본 프로그램을 ‘명시적 실패’를 포함하는 형태로 변환한다. 여기서 핵심은 실패를 정상적인 논리 흐름으로 전환함으로써, 부분 평가가 일반적으로 무시하는 실패 파생을 보존하는 것이다. 두 번째 단계에서는 변환된 프로그램을 다시 부분 평가하여, 다양한 입력 조합에 대해 성공·실패 경로를 모두 탐색하고, 각 경로에 대응하는 구체적인 테스트 케이스를 도출한다.

프로로그는 백트래킹과 논리 변수 바인딩이라는 특수한 제어 구조를 갖는다. 기존 바이트코드 기반 TDG는 정수 제약만을 다루었지만, 프로로그는 심볼릭 데이터와 복합 구조(리스트, 트리 등)를 다루므로, 논리 변수의 도메인 추론과 제약 전파가 필수적이다. 논문은 이를 위해 CLP(제약 논리 프로그래밍) 도메인을 확장하고, 변수의 구속 조건을 정규화·통합하는 메커니즘을 제시한다. 특히, 실패 경로를 명시적으로 모델링함으로써, “조건 불충족 → 백트래킹”과 같은 상황을 테스트 케이스에 포함시킬 수 있다.

또한, 커버리지 기준을 유연하게 정의할 수 있다는 점이 강조된다. 기존 TDG는 명령어 수준 혹은 기본 블록 수준의 커버리지를 목표로 했지만, 부분 평가 기반 접근은 논리 프로그램의 서브고리즘, 재귀 호출, 선택점(choice point) 등을 세밀하게 지정할 수 있다. 이를 통해 사용자는 “모든 선택점 탐색”, “특정 재귀 깊이까지 테스트” 등 맞춤형 목표를 설정하고, 자동으로 해당 목표를 만족하는 입력 집합을 생성한다.

성능 측면에서는 두 번의 부분 평가가 추가 비용을 초래하지만, 인터프리터 자체가 경량이며, 변환 후 프로그램은 정적 분석이 용이해 전체 테스트 파이프라인이 단순화된다. 실험 결과는 변환된 프로그램이 원본 대비 약 2~3배의 실행 시간을 보이지만, 테스트 케이스 생성량과 커버리지 측면에서 현저히 우수함을 보여준다.

결론적으로, 이 논문은 부분 평가를 활용해 프로로그의 복합 제어 흐름과 실패 경로를 포괄적으로 다루는 테스트 데이터 생성 프레임워크를 제시함으로써, 논리 프로그래밍 분야에 새로운 자동화 도구를 제공한다.