우리가 잘못된 양자 버그를 테스트하고 있는가?: 양자 소프트웨어 테스트의 결함 표현 격차 연구

양자 소프트웨어는 실행 전에 프로그램을 변환하는 컴파일러, 중간 표현(intermediate representations), 그리고 실행 프레임워크에 의존합니다. 이러한 구성 요소의 결함은 원래 올바른 양자 프로그램의 동작을 변경할 수 있습니다. 하지만 양자 테스트 기법들은 종종 돌연변이 생성된 결함(mutation-generated faults)과 선별된 버그 벤치마크를 사용하여 평가됩니다. 우리는 이러한 아티팩트들이 표현하는 결함들이 현대 양자 소프트웨어에서 발생하는 실제 결함을 얼마나 잘 반영하는지 조사합니다. 우리는 네 가지 양자 돌연변이 테스트 도구와 세 가지 선별된 버그 벤치마크를 감사하고, 지난 2년간 열 개의 양자 소프트웨어 저장소에서 수집한 410개의 검증된 버그를 모았습니다. 우리는 이 세 출처의 결함들을 공통적인 56개 버그 패밀리 분류 체계로 분류하고, 돌연변이 연산자(mutation operators), 선별된 벤치마크, 그리고 최근 실제 버그 전반에 걸쳐 그 표현을 비교합니다. 돌연변이 도구들은 20개의 버그 패밀리를 지원하며, 선별된 벤치마크는 15개를 추가로 제공합니다. 그러나 410개의 실제 버그 중 단지 56개(13.7%)만이 두 출처 중 어느 한 곳에서 표현되는 패밀리에 속하며, 나머지 354개(86.3%)는 둘 다 존재하지 않는 패밀리에 속합니다. 가장 크게 과소 대표된 패밀리들은 컴파일러 변환(66개 버그), 타입 처리(53개), 그리고 입력 유효성 검사(47개)와 관련됩니다. 국부적인 게이트 또는 구문 변경과 달리, 이러한 결함들은 종종 중간 표현, 컴파일러 파이프라인, 입력 타입, 또는 의존성 버전 등에 의존합니다. 기존의 돌연변이 연산자들은 주로 회로(circuits)와 프로그램 구조를 수정하는 반면, 많은 실제 버그들은 이들을 처리하는 컴파일러, 표현 방식, 그리고 프레임워크 인터페이스에서 발생합니다. 이러한 격차를 해소하기 위해서는 회로 수준의 결함 너머로, 컴파일러 변환 전반에 걸친 의미 보존(semantic preservation) 테스트, 표현 경계에서의 정확성, 그리고 소프트웨어 구성 요소 간의 상호 작용을 포착하는 방향으로 나아가야 합니다. 본 연구는 이러한 메커니즘들을 포착하고 재현하는 데 필요한 컨텍스트를 보존하는 결함 모델과 벤치마크를 안내할 경험적 증거를 제공합니다.