TY - GEN
T1 - Quantum Software Testing
T2 - 45th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2023
AU - Ali, Shaukat
AU - Yue, Tao
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023/7/27
Y1 - 2023/7/27
N2 - Quantum 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 classical computing. Therefore, quantum software testing also differs from classical software testing. There has been quite an interest in building quantum software testing techniques since 2019 in the software engineering (SE) community. Thus, we aim to introduce quantum software testing to the SE community. In particular, we will present the basic foundations of quantum computing and quantum programming as circuits, followed by the current state of the art on quantum software testing. Next, we will present some basic quantum software testing techniques and finally give the research directions that deserve attention from the SE community.
AB - Quantum 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 classical computing. Therefore, quantum software testing also differs from classical software testing. There has been quite an interest in building quantum software testing techniques since 2019 in the software engineering (SE) community. Thus, we aim to introduce quantum software testing to the SE community. In particular, we will present the basic foundations of quantum computing and quantum programming as circuits, followed by the current state of the art on quantum software testing. Next, we will present some basic quantum software testing techniques and finally give the research directions that deserve attention from the SE community.
KW - quantum circuits
KW - quantum programs
KW - quantum software testing
UR - https://www.scopus.com/pages/publications/85171876863
U2 - 10.1109/ICSE-Companion58688.2023.00093
DO - 10.1109/ICSE-Companion58688.2023.00093
M3 - 会议稿件
AN - SCOPUS:85171876863
T3 - Proceedings - International Conference on Software Engineering
SP - 332
EP - 333
BT - Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering
PB - IEEE Computer Society
Y2 - 15 May 2023 through 16 May 2023
ER -