On Testing Quantum Programs

被引：34
|
作者：
Miranskyy, Andriy [1 ]
Zhang, Lei [1 ]
机构：
[1] Ryerson Univ, Dept Comp Sci, Toronto, ON, Canada
来源：
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019) | 2019年
关键词：
D O I：
10.1109/ICSE-NIER.2019.00023
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A quantum computer (QC) can solve many computational problems more efficiently than a classic one. The field of QCs is growing: companies (such as D-Wave, IBM, Google, and Microsoft) are building QC offerings. We position that software engineers should look into defining a set of software engineering practices that apply to QC's software. To start this process, we give examples of challenges associated with testing such software and sketch potential solutions to some of these challenges.
引用
收藏
页码：57 / 60
页数：4
相关论文
共 50 条
  • [1] Application of Combinatorial Testing to Quantum Programs
    Wang, Xinyi
    Arcaini, Paolo
    Yue, Tao
    Ali, Shaukat
    2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), 2021, : 179 - 188
  • [2] Metamorphic Testing of Oracle Quantum Programs
    Abreu, Rui
    Fernandes, Joao Paulo
    Liana, Luis
    Tavares, Guilherme
    3RD INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2022), 2022, : 16 - 23
  • [3] Mutation Testing of Quantum Programs Written in QISKit
    Fortunato, Daniel
    Campos, Jose
    Abreu, Rui
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), 2022, : 358 - 359
  • [4] Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
    Long, Peixun
    Zhao, Jianjun
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (06)
  • [5] QuSBT: Search-Based Testing of Quantum Programs
    Wang, Xinyi
    Arcaini, Paolo
    Yue, Tao
    Ali, Shaukat
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), 2022, : 173 - 177
  • [6] Mutation Testing of Quantum Programs: A Case Study With Qiskit
    Fortunato D.
    Campos J.
    Abreu R.
    IEEE Transactions on Quantum Engineering, 2022, 3
  • [7] Property-Based Testing and Debugging of Quantum Programs (Keynote)
    Mousavi, Mohammad Reza
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024, 2024, : 117 - 117
  • [8] A Strategy of Dynamic Random Testing with Hybrid Distance Metrics for Quantum Programs
    Huang, Linzhi
    Pei, Hanyu
    Li, Yuechen
    Yin, Beibei
    Cai, Kai-Yuan
    2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2024, : 1 - 12
  • [9] Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
    Li, Gushu
    Li Zhou
    Yu, Nengkun
    Ding, Yufei
    Ying, Mingsheng
    Xie, Yuan
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [10] Delta Debugging for Property-Based Regression Testing of Quantum Programs
    Pontolillo, Gabriel
    Mousavi, Mohammad Reza
    PROCEEDINGS OF THE 2024 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING, Q-SE 2024, 2024, : 1 - 8
12345