Quantum Software Testing: A Brief Introduction


연구 분야: Verification



학회: ICSE '23: Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings


초록

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.


Author Profile
Shaukat Ali

Simula Research Laboratory Engineering Complex Software Systems Oslo Norway

Norway
Author Profile
Tao Yue

Simula Research Laboratory Engineering Complex Software Systems Oslo Norway

Norway

📄 논문 정보

발행 연도 2023년
인용수 4
출판 국가 Norway
사이트 ACM
좋아요 수 0

연관 논문 목록 (398건)