cv usk(@cv_usk):TL;DR: 量子ソフトウェアのバグテストで使われてきた「ミューテーション」や「厳選ベンチマーク」は、実際に起きているバグの86.3%を見逃している可能性があるという調査結果です。タイトル: Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing URL: https://t.co/aK4WNMI17p ポイント 🔍 Qiskit・PennyLane・Cirqなど10リポジトリから410件の実バグを収集し56種類のバグファミリーに分類 🧬 ミューテーションツールがカバーするのは20ファミリーのみ 📚 厳選ベンチマークを足しても追加で15ファミリー 📉 実バグのうちどちらかに代表されるのはわずか13.7% 🧩 見逃されがちな大物: コンパイラ変換エラー66件、型処理エラー53件、入力検証の欠落47件 ⚙️ 原因の多くはコンパイラ・中間表現・フレームワーク連携にあり、回路そのものの変異では再現できません回路が正しくても、コンパイルや表現境界が正しい保証にはならないという指摘は、量子ソフトウェアに限らずテスト設計全般への問いかけだと感じます。 #量子コンピューティング #ソフトウェアテスト

2026.10.18 00:24

TL;DR: 量子ソフトウェアのバグテストで使われてきた「ミューテーション」や「厳選ベンチマーク」は、実際に起きているバグの86.3%を見逃している可能性があるという調査結果です。タイトル: Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing URL: ポイント 🔍 Qiskit・PennyLane・Cirqなど10リポジトリから410件の実バグを収集し56種類のバグファミリーに分類 🧬 ミューテーションツールがカバーするのは20ファミリーのみ 📚 厳選ベンチマークを足しても追加で15ファミリー 📉 実バグのうちどちらかに代表されるのはわずか13.7% 🧩 見逃されがちな大物: コンパイラ変換エラー66件、型処理エラー53件、入力検証の欠落47件 ⚙️ 原因の多くはコンパイラ・中間表現・フレームワーク連携にあり、回路そのものの変異では再現できません回路が正しくても、コンパイルや表現境界が正しい保証にはならないという指摘は、量子ソフトウェアに限らずテスト設計全般への問いかけだと感じます。 #量子コンピューティング# #ソフトウェアテスト#

显示更多