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 (62)
- Quantum entanglement
- Quantum Computing in the NISQ era and beyond
- Variational Quantum Algorithms
- Maximum Likelihood, Minimum Effort
- Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
- Q#: Enabling scalable quantum computing and development with a high-level domain-specific language
- The Bitter Truth About Quantum Algorithms in the NISQ Era
- Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs
- Quantum Software Engineering: Landscapes and Horizons
- Optimizing quantum optimization algorithms via faster quantum gradient computation
- Nearly Optimal Measurement Scheduling for Partial Tomography of Quantum States
- A Hardware-Aware Heuristic for the Qubit Mapping Problem in the NISQ Era
- Bugs in Quantum Computing Platforms: An Empirical Study
- On Testing Quantum Programs
- MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
- Floating Point Representations in Quantum Circuit Synthesis
- 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
- Making existing software quantum safe: a case study on IBM Db2
- Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation
- QuanFuzz: Fuzz Testing of Quantum Program
- Debugging Quantum Processes Using Monitoring Measurements
- Making Quantum Computing Open: Lessons from Open-Source Projects
- 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
- Using Quantum Computers to Speed Up Dynamic Testing of Software
- Quantum Approximate Optimization Algorithm for Test Case Optimization
- Quantum Software Engineering Challenges from Developers' Perspective: Mapping Research Challenges to the Proposed Workflow Model
- Quantum Computing for Software Engineering: Prospects
- Full-Stack Quantum Software in Practice: Ecosystem, Stakeholders and Challenges
- Quantum Advantage and Y2K Bug: Comparison
- Trials and Tribulations of Developing Hybrid Quantum-Classical Microservices Systems
- Test Case Minimization with Quantum Annealers
- Identifying Flakiness in Quantum Programs
- The Prime state and its quantum relatives
- 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
- QDLC -- The Quantum Development Life Cycle
- 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
- Agile Practices for Quantum Software Development: Practitioners Perspectives
- Automating Quantum Software Maintenance: Flakiness Detection and Root Cause Analysis
- 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
- A Roadmap for Software Testing in Open Collaborative Development Environments
- Comparing Algorithms for Loading Classical Datasets into Quantum Memory
- Efficient Floating Point Arithmetic for Quantum Computers
- ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold
- Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
- Quantum software experiments: A reporting and laboratory package structure guidelines
- Quantum Concolic Testing
- Post-Quantum Security: Origin, Fundamentals, and Adoption
- Test Oracle Automation in the era of LLMs
- Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
- Qiskit Code Assistant: Training LLMs for generating Quantum Computing Code
- Towards View-based Development of Quantum Software
- Gate Optimization of NEQR Quantum Circuits via PPRM Transformation