[論文レビュー] Testing Quantum Programs with Multiple Subroutines

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

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本論文は、Q#におけるマルチサブルーチン量子プログラムのための新しいテストフレームワークを提案し、既存手法における重要なギャップを解決する。3つの新しいカバレッジ基準—古典的・重ね合わせ分割、古典的・重ね合わせ・混合分割、もつれ分割—を導入し、量子変数の同値クラス分割を可能にし、ユニットテストおよび統合テストを可能にする。このフレームワークは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マーキングを導入し、構造的なテストを可能にする。
• 3つの新規テストカバレッジ基準—古典的・重ね合わせ分割、古典的・重ね合わせ・混合分割、もつれ分割—を提案し、量子変数の同値クラス分割を実現する。
• 入力選択原理と出力検出技術に基づくテストケース生成戦略を設計し、投影に基づくおよび測定に基づく出力検証を含む。
• マルチサブルーチン量子プログラムで一般的に見られる2つのプログラムパターンのテストをサポートし、実用的応用性を向上させる。
• QSharpTesterとしてフレームワークを実装し、Q#シミュレータと統合してテストケースの実行と評価を可能にする。
• 7つのオリジナルQ#プログラムと244の変異バージョンに対して、4種類の変異タイプを用いた変異テストを実施し、有効性を評価する。

実験結果

リサーチクエスチョン

• RQ1 量子状態の重ね合わせ、もつれ、非複製性といった、マルチサブルーチン量子プログラムの独自の性質が、テスト戦略にどのように影響を与えるか？
• RQ2 古典的状態、重ね合わせ状態、もつれ状態のすべての状態をカバーするため、量子変数を効果的にテストするための新たなカバレッジ基準は何か？
• RQ3 量子固有のバグを検出しつつも効率性を維持するように、テストケース生成を体系的にどのように誘導できるか？
• RQ4 既存手法と比較して、提案フレームワークはマルチサブルーチン量子プログラムの不具合をどの程度効果的に検出できるか？
• RQ5 Q#シミュレータを用いて、標準的なハードウェアでも効率的に実装・スケーリング可能か？

主な発見

• 提案フレームワークはベンチマークセット内のほぼすべての不具合を含む変異プログラムを検出でき、高い故障検出能力を示した。
• 一部の等価変異が特定されたことから、微細な量子挙動に敏感であることが示され、誤検出の可能性があることも示唆された。
• Q#シミュレータを用いた個人用コンピュータ上でも、テストタスクが許容可能な時間で完了したため、実用的なスケーラビリティが確認された。
• 古典的・重ね合わせ分割、古典的・重ね合わせ・混合分割、もつれ分割という3つの新規カバレッジ基準は、量子変数の効果的かつ的確なテストを可能にした。
• 実装されたツールQSharpTesterは、ユニットテストおよび統合テストを両方サポートし、マルチサブルーチン量子プログラムのテストに対して体系的なアプローチを提供した。
• 本フレームワークは、より広範な種類の量子プログラムを扱い、量子的性質関連のバグを検出する点で、既存手法を上回った。