Write a Blog >>
Mon 14 - Fri 18 November 2022 Singapore
Fri 18 Nov 2022 22:00 - 22:20 at Virtual 2 (Whova) - Testing Quantum Programs

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 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

22:00 - 23:00
Testing Quantum ProgramsQP4SE at Virtual 2 (Whova)
Automatic generation of test circuits for the verification of quantum deterministic algorithms
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
Asserting the Correctness of Short Implementations using Metamorphic Testing
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
Using Quantum Computers to Speed Up Dynamic Testing of Software
A: Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)