Macario Polo, member of aQuantum, participated on October 21, 2022 in the QA&TEST (International Conference Embedded Software Testing), 19th – 21st October, Bilbao, Euskadi.
QA&TEST embedded is the annual conference, which has been held in Bilbao since 2001 with the aim of disseminating the latest technological advances and developments in Testing and Software Quality in embedded and complex systems.
In his keynote entitled “An introduction to quantum software testing”, Macario reviewed the fundamental concepts of quantum computation like qubit and summarized the main characteristics of the two types of quantum computers: general purpose (quantum-gate based) and annealing ones. He also explained what is a quantum test case, and showed some testing techniques for quantum gate-based programs: probabilistic testing, formal logic, circuit reversibility and mutation testing. Finally, Macario analyzed several coverage criteria in quantum testing and outlined future lines of work.
We are pleased to see that the principles of the Talavera Manifesto are beginning to be fulfilled in the sense that a true Quantum Software Engineering must “define and apply testing and debugging techniques to quantum programs in such a way that most defects can be detected and solved before the program is released”
The aQuantum Team congratulates Macario for his participation in this international conference and, in this way, contributing to the dissemination of the importance of Quantum Software Engineering and Programming.