Automatic generation of test circuits for the verification of quantum deterministic algorithms
Quantum computing will make it possible to exponentially accelerate the performance of a wide range of computational problems, such as cryptography, machine learning or chemical simulation. However, the quantum potential is not only a matter of hardware, but also of software. Therefore, this new paradigm has an impact yet to be explored on software development processes and techniques, and the adaptation of classical software engineering to the new classical/quantum hybrid systems raises a number of important challenges: a new Quantum Software Engineering is therefore needed. Specifically, and focusing on quantum software quality, software verification remains an open research question, as its novelty and complexity make quantum software development a particularly error-prone process. Most current approaches to test-driven verification rely heavily on simulations, which is a problem due to the lack of scalability of simulators running on classical computers. To address this shortcoming, we define the concept of a ““Quantum Test Case””, and then present a method to test quantum circuits on real machines, without using simulation test functionalities such as amplitude calculation or non-destructive measurement. This is achieved by automatically generating a Quantum Test Case, which wraps the circuit under test and performs the verification. We also present the process to run a set of tests on a circuit with this method, along with an example to illustrate the technique.
Fri 18 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
22:00 - 23:00 | |||
22:00 20mPaper | Automatic generation of test circuits for the verification of quantum deterministic algorithms QP4SE A: Antonio García de la Barrera Amo University of Castilla-La Mancha, A: Manuel Serrano University of Castilla-La Mancha, A: Ignacio García University of Castilla-La Mancha, A: Macario Polo University of Castilla-La Mancha, A: Mario Piattini University of Castilla-La Mancha, Spain | ||
22:20 20mPaper | Asserting the Correctness of Short Implementations using Metamorphic Testing QP4SE A: Nuno Costa Faculty of Engineering of the University of Porto, A: João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal, A: Rui Abreu Meta Platforms | ||
22:40 20mTalk | Using Quantum Computers to Speed Up Dynamic Testing of Software QP4SE Pre-print |