[論文レビュー] Quantum Software Engineering: Roadmap and Challenges Ahead

Juan M. Murillo, José Garcí­a-Alonso+14 more|arXiv (Cornell University)|Apr 10, 2024

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

この論文は量子ソフトウェア工学（QSE）分野を概観し、活発な研究領域、課題、今後10年間の方向性を概説します。古典的ソフトウェア工学がQSEにどのように情報を提供できるか、どこで新しいパラダイムが必要かを明示します。

ABSTRACT

As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective -key qualities of any industry-grade software-mature software engineering practices must be applied throughout its design, development, and operation. However, the significant differences between classical and quantum software make it challenging to directly apply classical software engineering methods to quantum systems. This challenge has led to the emergence of Quantum Software Engineering as a distinct field within the broader software engineering landscape. In this work, a group of active researchers analyse in depth the current state of quantum software engineering research. From this analysis, the key areas of quantum software engineering are identified and explored in order to determine the most relevant open challenges that should be addressed in the next years. These challenges help identify necessary breakthroughs and future research directions for advancing Quantum Software Engineering.

研究の動機と目的

• 量子ハードウェアの進化に伴いQSEを独立した分野として発展させる意義を強調して動機づける。
• 主要なQSE領域の現状の研究を要約し、産業導入を妨げるギャップを特定する。
• 古典的ソフトウェア工学の概念（例：SOC、MDE、テスト）が量子文脈に適用されるか、適応が必要かを議論する。
• 再現性が高く、効率的で、保守可能かつコスト効果の高い量子ソフトウェアを実現するための将来の研究方向を提案する。

提案手法

• SOC、MDE、テスト、プログラミングパラダイムなど、複数の領域に跨る最新のQSE文献をレビューし統合する。
• 活発な研究グループからの主要な課題と提案解決策を強調する。
• 相互運用性、プラットフォーム独立性、トレーニングニーズを繰り返しのテーマとして特定する。
• 量子ソフトウェアの抽象度を高めるメカニズムとしてモデリング言語、DSML、QIRを検討する。
• QSEの十年スパンのロードマップや未解決の研究課題を概説する。

Figure 1. Papers on QSE over time

実験結果

リサーチクエスチョン

• RQ1 量子ソフトウェア工学で最も活発な研究領域は何か、そしてそれらが分野にとってなぜ中心的なのか？
• RQ2 再現性が高く、保守可能で、コスト効果の高い量子ソフトウェアを達成するにはどのような課題を克服する必要があるか？
• RQ3 古典的ソフトウェア工学の実践（SOC、MDE、テスト）は量子文脈に対してどのように適応・拡張できるか？
• RQ4 今後十年でQSEを前進させるために必要な将来の方向性とブレークスルーは何か？

主な発見

• 2020年以降、QSEは独立した分野として台頭し、2023年には公開活動が200件を超えるまでになった。
• 活発な領域にはService-Oriented Computing、Model-Driven Engineering、テストとデバッグ、量子ソフトウェアのプログラミングパラダイムが含まれる。
• 重要な課題は相互運用性、プラットフォーム独立性、需要/容量管理、労働力トレーニングに集中している。
• 今後の研究方向は、ハイブリッド量子-古典系の高レベル設計手法、スケーラブルな保守/進化、知的コード生成とオーケストレーション、改善されたテスト技術を強調する。