تقرير
Testing and Debugging Quantum Programs: The Road to 2030
| العنوان: | Testing and Debugging Quantum Programs: The Road to 2030 |
|---|---|
| المؤلفون: | Ramalho, Neilson Carlos Leite, de Souza, Higor Amario, Chaim, Marcos Lordello |
| سنة النشر: | 2024 |
| المجموعة: | Computer Science Quantum Physics |
| مصطلحات موضوعية: | Computer Science - Software Engineering, Quantum Physics |
| الوصف: | Quantum Computing has existed in the theoretical realm for several decades. Recently, given the latest developments in hardware, quantum computing has re-emerged as a promising technology with the potential to solve problems that a classical computer could take hundreds of years to solve. With the rising interest in the field, there are challenges and opportunities for academics and practitioners in terms of software engineering practices, particularly in testing and debugging quantum programs. This paper presents a roadmap for addressing these challenges, pointing out the existing gaps in the literature and suggesting research directions. We present the current state-of-the-art testing and debugging strategies, including classical techniques applied to quantum programs, the development and implementation of quantum-specific assertions, and the identification and classification of bug patterns unique to quantum computing. Additionally, we introduce a conceptual model to illustrate the main concepts regarding the testing and debugging of quantum programs as well as the relationship between them. Those concepts are then used to identify and discuss the main research challenges to cope with quantum programs through 2030, focusing on the interfaces between classical and quantum computing and on creating testing and debugging techniques that take advantage of the unique quantum computing characteristics. Comment: Submitted to FSE 2024 (SE2030. Software Engineering in 2030 Workshop) |
| نوع الوثيقة: | Working Paper |
| الوصول الحر: | http://arxiv.org/abs/2405.09178Test |
| رقم الانضمام: | edsarx.2405.09178 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |