[논문] MASTOR: RESTful API 의미 테스트 오라클 생성을 위한 다중 에이전트 접근법
개요
기존 자동화된 RESTful API 테스트 접근 방식은 주로 간단한 검사(예: HTTP 상태 코드, 스키마 일치)에 의존하는데, 이는 의미적 결함, 비즈니스 로직 위반, 상태 의존적 불일치를 탐지하기에 충분하지 않다. 이를 해결하기 위해 우리는 구현 소스 코드를 기반으로 RESTful API에 대한 의미적 테스트 오라클을 생성하는 다중 에이전트 접근법인 MASTOR(Multi‑Agent approach for generating Semantic Test Oracles for RESTful APIs)를 제안한다. MASTOR는 두 단계로 구성된다: 소스 분석과 오라클 생성. 전자는 소스 추출 에이전트를 사용해 관련 소스 파일들의 전이적 import 폐쇄를 분석함으로써 각 엔드포인트 연산에 대한 소스 컨텍스트를 구축한다. 후자는 수집된 컨텍스트 위에서 두 개의 병렬 오라클 생성 경로를 적용한다: 단일 연산 경로는 각 연산마다 상태와 필드 오라클을 생성하고, 다중 연산 경로는 연산 간 의미적 연관성을 활용해 연산 시퀀스에 대한 행동 일관성 오라클을 생성한다. 두 경로 모두 챌린저‑에이전트 리뷰를 적용하는데, 전용 리뷰어가 약점을 식별하고 개선 힌트를 제공하여 목표 재생성을 유도한다. 이후 오라클 정규화를 통해 구조적으로 유효하지 않은 오라클을 필터링한다. 우리는 WFD와 PRAB 데이터셋에 포함된 13개의 오픈소스 RESTful API 프로젝트(296개 연산, 251,303줄 코드)를 벤치마크로 사용해 MASTOR를 평가했다. MASTOR는 평균 변이 점수 75.4%를 달성했으며, 총 10,022개의 오라클을 생성했다. 이 오라클은 ToJUnit 및 ToPostmanAssertify를 통해 실행 가능한 어설션으로, ToReadable을 통해 인간이 읽을 수 있는 설명으로 변환되었다. 50개의 선정된 연산에 대한 베이스라인 비교에서 MASTOR는 Direct Prompting보다 30.1 퍼센트 포인트(69.9% vs. 39.8%)·SATORI보다 49.4 퍼센트 포인트(69.9% vs. 20.5%) 높은 성능을 보였다.
주요 기여
이 논문은 다음 분야의 연구를 제시한다:
- cs.SE
방법론
자세한 방법론은 전체 논문을 참고하시기 바랍니다.
실용적 함의
본 연구는 cs.SE 분야의 발전에 기여한다.
저자
- Sida Deng
- Rubing Huang
- Zhenzhen Yang
- Man Zhang
- Xuan Xie
- Rongcun Wang
논문 정보
- arXiv ID: 2606.10465v1
- 분류: cs.SE
- 발표일: 2026년 6월 9일
- PDF: PDF 다운로드