테스트 케이스 리듀서는 과소평가된 디버깅 도구

Context

대규모 입력 데이터에서 발생하는 비결정적 버그나 크래시 분석 시 수동 축소 방식의 높은 시간 비용과 누락 가능성이 병목 지점으로 작용. 단순 텍스트 삭제만으로는 상호 의존적인 데이터 구조의 최소 재현 케이스를 찾는 검색 공간을 효율적으로 탐색하기 어려움.

Technical Solution

• 프로그램, 입력, 흥미성 테스트(Interestingness Test)를 분리하여 입력 크기를 최소화하는 반복적 최적화 루프 설계
• 흥미성 테스트를 통한 0/1 반환 값 기반의 필터링으로 타겟 버그 재현 여부를 판별하는 오라클 구조 채택
• 단순 줄 삭제부터 정수 값 축소, 표준 주석 제거까지 단계별 축소 규칙을 적용하는 계층적 리듀싱 전략 적용
• 타임아웃 설정을 초기 실행 시간의 1.5~2배로 동적 할당하여 무한 루프 진입으로 인한 리듀서 정지 방지
• 비결정적 버그 해결을 위해 'n회 중 1회 이상 발생'에서 'n회 연속 발생'으로 흥미성 테스트의 엄격도를 점진적으로 상향하는 전략 사용
• 입력 길이 외에 실행 추적(Execution Trace) 라인 수를 대리 지표로 설정하여 로그 밀도를 최적화하는 맞춤형 목적 함수 정의