양자 소프트웨어 스택 테스트를 위한 EMI 기반 프레임워크 QEMI

초록

QEMI는 양자 프로그램에 죽은 코드를 삽입하고, 이를 정적 분석으로 제거해 EMI‑동등 변형을 만든 뒤, 원본과 변형을 실행해 출력 분포 차이를 비교함으로써 Qiskit, Q# 및 Cirq의 버그를 자동 탐지하는 새로운 메타모픽 테스트 기법이다.

상세 분석

본 논문은 기존 양자 소프트웨어 스택(QSS) 테스트가 직면한 두 가지 근본적인 난제, 즉 충분한 테스트 프로그램 부족과 ‘오라클 문제’를 해결하기 위해 고전 컴파일러 검증 기법인 Equivalence Modulo Inputs(EMI)를 양자 환경에 맞게 재구성한 QEMI 프레임워크를 제안한다. 핵심 아이디어는 양자 제어 흐름 구조(조건 분기, 루프, 스위치 등)를 활용해 의도적으로 실행되지 않을(dead) 코드를 삽입하고, 이러한 코드가 실제로 실행되지 않음을 보장하는 양자 상태를 사전에 준비함으로써 정적 패턴 기반 분석만으로도 ‘입력 무관(dead) 코드’를 식별한다는 점이다. 기존 EMI는 실행 시점에 입력값을 고정해 죽은 코드를 드러내지만, 양자 프로그램은 측정 확률성 때문에 동일 입력이라도 실행 경로가 달라질 수 있다. 따라서 QEMI는 동적 탐색 대신 사전 정의된 dead‑code 패턴(예: if_test_dead, while_dead, switch_dead 등)과 해당 패턴을 무력화시키는 초기 양자 상태(예: 제어 비트가 |0⟩인 상태) 를 이용한다.

프로그램 생성 단계에서는 양자·고전 제어 흐름을 모두 포함하는 무작위 시드 프로그램을 만든 뒤, 위 패턴에 따라 dead‑code 블록을 삽입한다. 이후 정적 분석 패스가 삽입된 블록을 제거해 EMI‑동등 변형을 생성한다. 두 프로그램을 동일한 백엔드와 동일한 실행 설정(샷 수, 시드 등)으로 실행하고, 측정 결과 분포를 통계적 검정(예: χ², KL‑divergence)으로 비교한다. 여기서 중요한 최적화는 ‘early‑stop’ 전략이다. 사전에 정의한 신뢰 구간에 도달하면 추가 샷을 중단해 실행 시간을 평균 53 % 이상 절감한다.

실험은 Qiskit, Microsoft Q#, Google Cirq 세 주요 QSS에 적용했으며, 총 12개의 실제 버그(크래시 11건, 행동 불일치 1건)를 발견했다. 발견된 버그는 주로 API 호출 순서 오류, 상태 초기화 누락, 측정 결과 처리 로직 결함 등으로, 기존 메타모픽 테스트 도구(QuteFuzz, QDiff, MorphQ)에서는 탐지되지 않은 새로운 결함군을 드러냈다. 논문은 또한 QEMI가 기존 구조 변환 기반 테스트(예: 회로 등가 변환)와 상호 보완적으로 작동할 수 있음을 보이며, 양자 프로그램 수준의 의미론적 동등성 검증을 확대하는 방향을 제시한다.

한계점으로는 현재 dead‑code 삽입에만 초점을 맞추어, 삽입된 블록 내부에서 의미론을 보존하는 복잡한 변형(예: 연산 재배열, 최적화 패턴) 은 다루지 못한다는 점이다. 또한 정적 패턴 기반 접근법은 새로운 제어 흐름 구조가 등장할 경우 패턴 업데이트가 필요하며, 양자 상태 준비 비용이 큰 프로그램에서는 초기 상태 설정이 오버헤드가 될 수 있다. 향후 연구에서는 자동 패턴 학습, 동적 확률 모델링, 그리고 양자 오류 모델을 고려한 테스트 확대가 제안된다.