Daniel Fortunato
ABSTRACT
There is an inherent lack of knowledge and technology to test a quantum program properly. In this paper, building on the definition of syntactically equivalent quantum operations, we investigated a novel set of mutation operators to generate mutants based on qubit measurements and quantum gates. To ease the adoption of quantum mutation testing, we further discuss QMutPy, an extension of the well-known and fully automated open-source mutation tool MutPy. To evaluate QMutPy's performance we conducted a case study on 11 real quantum programs written in the IBM's QISKit library. QMutPy has proven to be an effective quantum mutation tool, providing insight on the current state of quantum tests.
- M. Moein Almasi, Hadi Hemmati, Gordon Fraser, Andrea Arcuri, and Jundefinednis Benefelds. 2017. An Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application. In Proceedings of the 39th ICSE-SEIP.Google Scholar
Digital Library
- Mark Fingerhuth, Tomáš Babej, and Peter Wittek. 2018. Open source software in quantum computing. PLOS ONE (2018).Google Scholar
- Gordon Fraser and José Miguel Rojas. 2019. Software Testing. Springer International Publishing, Cham, 123--192. Google ScholarCross Ref
- Yipeng Huang and Margaret Martonosi. 2018. QDB: from quantum algorithms towards correct quantum programs. arXiv preprint arXiv:1811.05447 (2018).Google Scholar
- P. Liu, S. Hu, M. Pistoia, C. R. Chen, and J. M. Gambetta. 2019. Stochastic Optimization of Quantum Programs. Computer 52, 6 (2019), 58--67.Google ScholarCross Ref
- Andriy V. Miranskyy and Lei Zhang. 2018. On Testing Quantum Programs. CoRR abs/1812.09261 (2018). arXiv:1812.09261 http://arxiv.org/abs/1812.09261Google Scholar
- Michael A. Nielsen and Isaac L. Chuang. 2010. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press.Google ScholarDigital Library
- Goran Petrović, Marko Ivanković, Gordon Fraser, and René Just. 2021. Does Mutation Testing Improve Testing Practices?. In Proc. of the 43rd IEEE/ACM ICSE.Google ScholarDigital Library
- Goran Petrović, Marko Ivanković, Gordon Fraser, and René Just. 2021. Practical Mutation Testing at Scale: A view from Google. IEEE TSE (2021).Google Scholar
- Jianjun Zhao. 2020. Quantum Software Engineering: Landscapes and Horizons. arXiv:2007.07047 [cs.SE]Google Scholar
- Pengzhan Zhao, Jianjun Zhao, and Lei Ma. 2021. Identifying Bug Patterns in Quantum Programs. In Proc. of the 2nd Q-SE.Google ScholarCross Ref
Index Terms
- Mutation testing of quantum programs written in QISKit
Recommendations
QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit
ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and AnalysisThere is an inherent lack of knowledge and technology to test a quantum program properly. In this paper, building on the definition of syntactically equivalent quantum gates, we describe our efforts in developing a tool, coined QMutPy, leveraging the ...
Investigating quantum cause-effect graphs
Q-SE '22: Proceedings of the 3rd International Workshop on Quantum Software EngineeringCause-effect graphs have shown promising results in identifying relations among causes and effects of classical software systems, followed by designing effective test cases from them. Towards this end, we investigate the use of cause-effect graphs for ...
Quantum Software Testing: A Brief Introduction
ICSE '23: Proceedings of the 45th International Conference on Software Engineering: Companion ProceedingsQuantum software testing concentrates on testing quantum programs to discover quantum faults in the programs cost-effectively. Given the foundations in quantum mechanics, the way quantum computations are performed is significantly different than ...
Comments