Seminar: Quantum Software Engineering
Tuesday Nov. 17th we have the pleasure of hearing Noah Oldfield, from Simula Research Lab, presenting results and research question related to his ongoing project. It involves software testing on actual quantum computers. See the abstract below for more details.
Quantum program outputs enable the development of unique quality assurance techniques. Our research focuses on efficiently distinguishing a specialized ideal state vector from the sampled state vector of a program using inference techniques.
To accomplish this, we utilized a hill climbing algorithm for stochastic searches between basis transformations, circumventing the exponential scaling of brute force searches with increased qubit numbers. We conducted tests on a suite of automatically generated faulty programs.
For those programs with state vectors representable in the Hadamard basis, we observed improved testing runtimes and enhanced phase gate fault detection.