Quantum Software Engineering: Roadmap and Challenges Ahead
arXiv:2404.06825 · doi:10.1145/3712002
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.
Extended version of the previous FSE paper for the ACM TOSEM Special Issue
References in corpus (42)
- The Bitter Truth About Quantum Algorithms in the NISQ Era
- Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
- On Testing Quantum Programs
- MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
- Is Your Quantum Program Bug-Free?
- QuSBT: Search-Based Testing of Quantum Programs
- Architectural Vision for Quantum Computing in the Edge-Cloud Continuum
- Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
- Debugging Quantum Processes Using Monitoring Measurements
- Accelerating Grover Adaptive Search: Qubit and Gate Count Reduction Strategies with Higher-Order Formulations
- Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification
- SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation
- Quantum Approximate Optimization Algorithm for Test Case Optimization
- Using Quantum Computers to Speed Up Dynamic Testing of Software
- Quantum Software Engineering Challenges from Developers' Perspective: Mapping Research Challenges to the Proposed Workflow Model
- Quantum Computing for Software Engineering: Prospects
- Identifying Flakiness in Quantum Programs
- Full-Stack Quantum Software in Practice: Ecosystem, Stakeholders and Challenges
- Test Case Minimization with Quantum Annealers
- Creativity, Generative AI, and Software Development: A Research Agenda
- Quantum types: going beyond qubits and quantum gates
- An Overview of Quantum Software Engineering in Latin America
- From Today's Code to Tomorrow's Symphony: The AI Transformation of Developer's Routine by 2030
- Q-PAC: Automated Detection of Quantum Bug-Fix Patterns
- A Roadmap for Software Testing in Open Collaborative Development Environments
- Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation
- Pricing4APIs: A Rigorous Model for RESTful API Pricings
- Saltzer & Schroeder for 2030: Security engineering principles in a world of AI
- Agile Practices for Quantum Software Development: Practitioners Perspectives
- Automating Quantum Software Maintenance: Flakiness Detection and Root Cause Analysis
- ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold
- Gate Optimization of NEQR Quantum Circuits via PPRM Transformation
- Quantum software experiments: A reporting and laboratory package structure guidelines
- Towards View-based Development of Quantum Software
- Quantum Concolic Testing
- Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
- Comparing Algorithms for Loading Classical Datasets into Quantum Memory
- Test Oracle Automation in the era of LLMs
- Post-Quantum Security: Origin, Fundamentals, and Adoption
- Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
- Efficient Floating Point Arithmetic for Quantum Computers
- Qiskit Code Assistant: Training LLMs for generating Quantum Computing Code