[논문 리뷰] Testing Quantum Programs with Multiple Subroutines

Peixun Long, Jianjun Zhao|arXiv (Cornell University)|2022. 08. 19.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 Q#에서 다중 서브루틴 양자 프로그램을 위한 새로운 테스트 프레임워크를 제안하며, 기존 방법의 핵심적 결함을 보완한다. 프레임워크는 양자 변수의 등가류 분할을 위한 세 가지 새로운 커버리지 기준—클래식-중첩 분할, 클래식-중첩-혼합 분할, 얽힘 분할—을 도입하여 단위 테스트 및 통합 테스트를 모두 가능하게 한다. 이 프레임워크는 QSharpTester로 구현되었으며, 개인용 컴퓨터에서 합리적인 성능로 기준 프로그램의 거의 모든 결함이 있는 변형을 성공적으로 탐지하였다.

ABSTRACT

Errors in quantum programs are challenging to track down due to the uncertainty of quantum programs. Testing is, therefore, an indispensable method for assuring the quality of quantum software. Existing testing methods focus only on testing quantum programs with quantum circuits or single subroutines and, therefore, cannot effectively test quantum programs with multi-subroutines. In this paper, we first discuss several critical issues that must be considered when testing multi-subroutine quantum programs and point out the limitations and problems with existing testing methods. We then present a novel framework for testing multi-subroutine quantum programs that allow for both unit and integration testing. Our framework includes two novel test coverage criteria for the equivalent class partition of quantum variables to guide our testing tasks and techniques to test quantum programs with several common patterns. We also discuss how to generate test cases based on our framework. To evaluate the effectiveness of our testing framework, we implemented a tool called QSharpTester for testing Q\# programs with multiple subroutines. We used it to conduct experiments on hundreds of mutation programs deriving from seven original Q\# programs. The experimental results show that our testing methods can deal with broader types of quantum programs than existing ones and perform well on almost all faulty mutation programs.

연구 동기 및 목표

• 실제로 널리 사용되지만 기존 테스트 방법에서 다루지 못한 다중 서브루틴 양자 프로그램에 대한 체계적인 테스트 지원의 부족을 해결하기 위해.
• 이전 연구에서 간과되었던 다중 서브루틴 양자 프로그램 테스트의 핵심 문제를 규명하고 명확히 하기 위해.
• 다중 서브루틴을 포함한 양자 프로그램에 대한 단위 테스트 및 통합 테스트를 모두 지원하는 종합적인 테스트 프레임워크를 개발하기 위해.
• 중첩 및 얽힘과 같은 양자 변수의 특성에 맞게 조정된 새로운 테스트 커버리지 기준을 정의하기 위해.
• Q# 프로그램을 위한 도구 QSharpTester를 구현하고, 변형 테스트를 통해 성능을 평가하기 위해.

제안 방법

• 각 서브루틴의 입력과 출력을 명시적으로 정의하기 위해 IO 마킹을 도입하여 체계적인 테스트를 가능하게 한다.
• 양자 변수의 등가류 분할을 위한 세 가지 새로운 테스트 커버리지 기준—클래식-중첩 분할, 클래식-중첩-혼합 분할, 얽힘 분할—을 제안한다.
• 입력 선택 원칙과 출력 검출 기법을 기반으로 한 테스트 케이스 생성 전략을 설계하며, 이는 투사 기반 및 측정 기반의 출력 검증을 포함한다.
• 다중 서브루틴 양자 프로그램에서 흔히 나타나는 두 가지 프로그램 패턴을 테스트할 수 있도록 지원하여 실용적 적용성을 높인다.
• QSharpTester라는 도구로 프레임워크를 구현하였으며, Q# 시뮬레이터와 통합되어 테스트 케이스를 실행하고 평가할 수 있도록 한다.
• 일곱 개인 Q# 프로그램과 244개의 변형 버전을 대상으로 네 가지 유형의 변형을 적용하여 변형 테스트를 수행하여 효과성을 평가한다.

실험 결과

연구 질문

• RQ1 양자 상태 중첩, 얽힘, 복제 금지 성질 등 다중 서브루틴 양자 프로그램의 고유한 특성이 테스트 전략에 어떻게 영향을 미치는가?
• RQ2 클래식 상태, 중첩 상태, 얽힌 상태를 모두 포함한 양자 변수를 효과적으로 테스트하기 위해 필요한 새로운 커버리지 기준은 무엇인가?
• RQ3 효율성을 유지하면서도 양자 특유의 버그를 탐지할 수 있도록 테스트 케이스 생성을 체계적으로 이끌 수 있는 방법은 무엇인가?
• RQ4 기존 방법과 비교해 볼 때, 제안된 프레임워크는 다중 서브루틴 양자 프로그램의 결함을 어느 정도까지 탐지할 수 있는가?
• RQ5 Q# 시뮬레이터를 사용하여 표준 하드웨어에서 이 프레임워크를 효율적으로 구현하고 확장할 수 있는가?

주요 결과

• 제안된 프레임워크는 기준 세트에 포함된 거의 모든 결함이 있는 변형 프로그램을 성공적으로 탐지하여 높은 결함 탐지 능력을 입증하였다.
• 일부 등가 변형을 식별하여 미세한 양자 행동에 민감하고 잠재적인 거짓 경고 발생 가능성을 보여주었다.
• Q# 시뮬레이터를 사용하여 개인용 컴퓨터에서 테스트 작업을 수용 가능한 시간 내에 완료하여 실용적 확장성을 확인하였다.
• 클래식-중첩 분할, 클래식-중첩-혼합 분할, 얽힘 분할이라는 세 가지 신규 커버리지 기준은 양자 변수에 대한 효과적이고 정확한 테스트를 가능하게 하였다.
• 구현된 도구인 QSharpTester는 단위 테스트 및 통합 테스트를 모두 지원하여 다중 서브루틴 양자 프로그램 테스트에 대한 체계적인 접근법을 제공한다.
• 더 넓은 유형의 양자 프로그램을 다루고 양자 특성과 관련된 버그를 탐지하는 데서 기존 방법보다 뛰어난 성능을 보였다.