Quantum Software Engineering: Landscapes and Horizons

Abstract

Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it has been drawing increasing attention recently. This paper defines the term "quantum software engineering" and introduces a quantum software life cycle. The paper also gives a generic view of quantum software engineering and discusses the quantum software engineering processes, methods, and tools. Based on these, the paper provides a comprehensive survey of the current state of the art in the field and presents the challenges and opportunities we face. The survey summarizes the technology available in the various phases of the quantum software life cycle, including quantum software requirements analysis, design, implementation, test, and maintenance. It also covers the crucial issues of quantum software reuse and measurement.

References in corpus (14)

• A Quantum Approximate Optimization Algorithm
• Quantum-enhanced machine learning
• Resource-Aware Quantum Programming with General Recursion and Quantum Control
• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
• A Lambda Calculus for Quantum Computation
• Open source software in quantum computing
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• Practical optimization for hybrid quantum-classical algorithms
• Next Steps in Quantum Computing: Computer Science's Role
• Making Quantum Computing Open: Lessons from Open-Source Projects
• Debugging Quantum Processes Using Monitoring Measurements
• Semantics for a Quantum Programming Language by Operator Algebras
• Cove: A Practical Quantum Computer Programming Framework
• Verified Optimization in a Quantum Intermediate Representation

Cited by in corpus (12)

• Quantum Software Engineering: Roadmap and Challenges Ahead
• QuSBT: Search-Based Testing of Quantum Programs
• Open Hardware Solutions in Quantum Technology
• Networked Quantum Services
• Trials and Tribulations of Developing Hybrid Quantum-Classical Microservices Systems
• Identifying Flakiness in Quantum Programs
• A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis
• An Overview of Quantum Software Engineering in Latin America
• Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
• Identifying Bug Patterns in Quantum Programs
• Symbolic quantum programming for supporting applications of quantum computing technologies
• Some Size and Structure Metrics for Quantum Software