[논문 리뷰] On Testing and Debugging Quantum Software

Andriy Miranskyy, Lei Zhang외 1명|arXiv (Cornell University)|2021. 03. 16.

Quantum Computing Algorithms and Architecture참고 문헌 80인용 수 1

한 줄 요약

이 논문은 파동함수 붕괴, 복제 금지, 중첩과 같은 고유한 과제를 다루어 양자 소프트웨어를 위한 특화된 테스트 및 디버깅 전략을 제안한다. 약간의 상태 복제, 측정 결과의 통계적 분석, 컴파일러 지원 인스트루멘테이션과 같은 기법들을 통해 노이즈가 있는 중규모 양자 장치에서 효과적인 디버깅을 가능하게 한다.

ABSTRACT

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they need to test and debug their code. In this paper, we discuss various use-cases for quantum computers, either standalone or as part of a System of Systems. Based on these use-cases, we discuss some testing and debugging tactics that one can leverage to ensure the quality of the quantum software. We also highlight quantum-computer-specific issues and list novel techniques that are needed to address these issues. The practitioners can readily apply some of these tactics to their process of writing quantum programs, while researchers can learn about opportunities for future work.

연구 동기 및 목표

• 기존 소프트웨어 테스트 및 디버깅 기법을 방해하는 양자 컴퓨터 특유의 문제를 식별하고 해결하기.
• 실제 환경에서 적용 가능한 실용적인 전략을 제안하여 양자 프로그램의 테스트 및 디버깅을 수행하기.
• 효율적인 양자 소프트웨어 품질 보증을 위해 필요로 하는 새로운 기법들 — 예를 들어 근사 복제 및 통계적 분석 — 를 강조하기.
• 실무자들이 기존 방법을 적용하고 연구자들이 미래의 도구 및 방법론 개발의 필요성을 식별하도록 안내하기.

제안 방법

• 통계적 분석을 위해 양자 상태의 복수 개의 복제본을 생성하기 위해 근사 양자 상태 복제를 활용한다.
• 측정 결과의 통계적 집계를 통해 경험적으로 확률 분포를 재구성하고 예상 동작을 검증한다.
• 런타임 어설션을 위해 자동으로 복제 및 측정 코드를 삽입하기 위해 컴파일러 수준의 인스트루멘테이션을 제안한다.
• 정확한 복제가 가능한 특정 경우에 대해 알려진 직교 상태 복제를 적용한다.
• 실제 하드웨어 제약 조건 하에서 테스트를 안내하기 위해 성능 메트릭으로서 알고리즘 기반 큐비트와 양자 볼륨을 도입한다.
• 실제 양자 하드웨어에 배포하기 전에 소규모 테스트를 위해 고전 컴퓨터에서의 하이브리드 시뮬레이션을 권장한다.

실험 결과

연구 질문

• RQ1 기존 소프트웨어 테스트 및 디버깅 기법들은 양자 컴퓨팅의 고유한 제약 조건에 어떻게 적응될 수 있는가?
• RQ2 파동함수 붕괴 및 복제 금지 정리와 같은 양자 특유의 과제를 해결하기 위해 어떤 새로운 기법이 필요한가?
• RQ3 직접 측정이 중첩을 파괴하므로, 근사 상태 복제를 통해 어떻게 효과적인 디버깅이 가능해지는가?
• RQ4 컴파일러는 양자 프로그램을 위한 자동 테스트 및 어설션 생성을 어떻게 지원할 수 있는가?
• RQ5 양자 볼륨과 알고리즘 기반 큐비트와 같은 하드웨어 메트릭은 효과적인 테스트 전략을 안내하는 데 어떤 역할을 하는가?

주요 결과

• 근사 양자 상태 복제 기법을 통해 양자 상태 분포의 경험적 분석이 가능해져, 중첩 상태를 직접 관찰하지 않고도 논리적 오류를 탐지할 수 있다.
• 알려진 직교 상태의 경우 정확한 복제가 가능하므로, 특정한 경우에 대해 결정론적 디버깅 경로를 확보할 수 있다.
• 다중 실행에 걸쳐 반복 측정 결과의 통계적 분석을 통해 예상되는 확률 분포를 검증할 수 있으며, 이는 회귀 테스트의 한 형태로 기능한다.
• 컴파일러 지원 인스트루멘테이션을 통해 복제 및 측정 코드를 자동으로 삽입할 수 있어 자동 어설션을 가능하게 하고 수동 작업을 줄일 수 있다.
• 양자 볼륨과 알고리즘 기반 큐비트 메트릭은 하드웨어 신뢰성 평가 및 현실적인 성능 제약 조건 하에서의 테스트 지침을 제공한다.
• 알 수 없는 입력 상태의 디버깅을 위한 일반적인 해결책은 존재하지 않으며, 사례별 분석과 히ュ리스틱 기반 접근이 필요하다.