Write a Blog >>
ESEC/FSE 2022
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)
22:00
20m
Paper
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
20m
Paper
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
20m
Talk
Using Quantum Computers to Speed Up Dynamic Testing of Software
QP4SE
A: Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)
Pre-print