|
|
An introduction to quantum software testing |
Quantum computers can be used for resolving both general-purpose and optimization problems. Since quantum computers are based on the manipulation of subatomic particles, current hardware technologies do not guarantee that two executions of the same problem provide the same output. Thus, getting a solution from a quantum computer requires to execute the problem multiple times and, then, to interpret the probability distribution of all the obtained results. In addition, quantum programs are often used in "hybrid" systems, where a classic program invokes the functionalities offered by the quantum algorithm when it is needed. All these characteristics propose new challenges for integrating Software Engineering practices in quantum development. In this presentation, Macario Polo will describe: (1) new, specific techniques for testing quantum programs; (2) testing-based progressive methods for developing optimization problems and; (3) process models for the testing of hybrid systems. The talk will do a brief, informational introduction, to the characteristics that make quantum computers so powerful. Then, it will illustrate with actual examples how to integrate these testing techniques in quantum software development Macario Polo Macario Polo Usaola is full professor of Computer Science at the University of Castilla-La Mancha. His main research areas are related to the automation of Software Engineering process, specially testing. Since a few years ago, he is involved in several research projects about Quantum Computing. In this sense, he is developing models, techniques and tools to automate Quantum Software testing.
This presentation will provide a basic understanding of quantum software testing. |
|
|
|
|
|
|
