QuSema: 양자 지식을 활용한 에이전트를 통한 양자 라이브러리의 무음 버그 탐지

양자 라이브러리는 이제 양자 알고리즘 개발을 위한 핵심 인프라가 되었지만, 그 정확성을 테스트하는 것은 여전히 어렵습니다. 기존의 테스트 기법들은 주로 실패 기반(failure-based) 또는 비교 기반(comparison-based) 오라클에 의존하며, 실행이 실패하거나 런타임 검사를 위반하거나 다른 구현과 불일치할 때만 버그를 노출합니다. 적절한 실행 기반 오라클을 사용할 수 없는 경우 그 적용 가능성이 제한되어 일부 무음 버그(silent bugs)가 탐지되지 못하는 경우가 있습니다. 이러한 놓친 버그는 잘못된 결과를 초래하여 실험적 결론, 시뮬레이션 연구 및 알고리즘 설계에 전파될 수 있습니다. 본 논문에서는 양자 라이브러리의 무음 버그를 찾는 자율 테스트 에이전트인 QuSema를 소개합니다. QuSema는 양자 의미론(quantum semantics)과 문서를 제약 조건으로 사용하여 소스 레벨의 의미론적 오라클(semantic oracle) 역할을 수행하며, 구현 로직이 유효한 입력으로부터 무효한 출력을 생성할 수 있는지 평가합니다. 이는 에이전트 루프를 통해 작동하며, 라이브러리 API 문서와 소스 코드를 반복적으로 검사하고, 양자 연산의 의도된 동작에 대해 추론하며, 잠재적인 의미론적 편차(semantic deviations)를 식별한 후, 라이브러리 API를 통해 실행 가능한 테스트를 생성하여 이를 검증합니다. 양자 도메인 추론(quantum-domain reasoning)에 의해 안내되는 QuSema는 높은 수준의 동작 불일치(behavioral mismatches)를 구체적이고 사용자가 트리거할 수 있는 버그 보고서로 변환하여, 충돌을 일으키지 않는 결함(non-crash defects)을 발견할 수 있게 합니다. 우리는 Qiskit과 PennyLane에 대해 QuSema를 구현했습니다. 20개의 역사적인 무음 버그 벤치마크에서, QuSema는 Claude Code와 Codex보다 높은 평균 버그 재배치 카운트(mean bug relocation counts)를 달성했으며, DeepSeek 구성은 Claude Code보다 적은 비용이 들었습니다. 또한 QuSema는 개발자들에 의해 확인된 40개의 이전에 알려지지 않은 버그를 발견했는데, 여기에는 30개의 무음 버그가 포함되었습니다.