트랜스파일링을 통한 양자 변이 동등성 (Quantum Mutant Equivalence via Transpilation)

변이 테스트 (Mutation testing)는 인위적인 결함 (mutants)을 도입하고 테스트가 이를 탐지(kill)할 수 있는지 확인하여 테스트 스위트의 품질을 평가합니다. 핵심적인 과제는 동등 변이 문제 (equivalent mutant problem)입니다. 일부 변이는 원래 프로그램과 구문론적으로는 다르지만 의미론적으로는 동일하여 어떤 테스트로도 제거할 수 없습니다. 이러한 변이가 식별되지 않은 채로 남겨지면 테스트 노력이 낭비되고 변이 점수 (mutation scores)가 왜곡됩니다. 양자 소프트웨어 분야에서 변이 테스트의 사용이 증가하고 있으나, 동등 변이 문제는 여전히 해결되지 않은 상태로 남아 있습니다. 최근의 한 연구에서는 700,000개 이상의 양자 회로 변이를 생성하였으며, 그 결과 약 절반이 기존 테스트에서 생존한다는 것을 발견했습니다. 이는 생존한 변이들이 취약한 테스트 때문인지, 아니면 의미론적 동등성 때문인지 불분명하게 만듭니다. 우리는 트랜스파일러 기반 동등성 (Transpiler-Based Equivalence, TBE)을 제안합니다. 이는 원래의 회로와 변이된 회로를 동일한 설정 하에 트랜스파일링 (transpiling)하고, 그 결과로 생성된 OpenQASM 코드를 비교함으로써 동등한 양자 변이를 식별하는 경량화된 접근 방식입니다. 우리는 348,299개의 생존 변이를 대상으로 TBE를 평가하였으며, 이 중 92,011개가 동등한 것으로 나타났습니다. TBE는 이 중 29,536개(32.1%)를 동등한 것으로 식별하였으며, 100%의 정밀도 (precision)와 82%의 정확도 (accuracy)를 달성했습니다.