Quito: a Coverage-Guided Test Generator for Quantum Programs
Thu 18 Nov 2021 20:06 - 20:08 at Kangaroo - Tool Demo (3) Chair(s): Mohamed Abdelrazek
Automation in quantum software testing is essential to support systematic and cost-effective testing. Towards this direction, we present a quantum software testing tool called Quito that can automatically generate test suites covering three coverage criteria defined on inputs and outputs of a quantum program coded in Qiskit, i.e., input coverage, output coverage, and input-output coverage. Quito also implements two types of test oracles based on program specifications, i.e., checking whether a quantum program produced a wrong output or checking a probabilistic test oracle with statistical test. We describe the architecture and methodology of the tool. We also validated the tool with one quantum program and one faulty version of it. Results indicate that Quito can generate test suites and perform test assessments that detect faults, and produce test results with a good time performance.
Tue 16 NovDisplayed time zone: Hobart change
Thu 18 NovDisplayed time zone: Hobart change
20:00 - 21:00 | Tool Demo (3)Tool Demonstrations at Kangaroo Chair(s): Mohamed Abdelrazek Deakin University, Australia | ||
20:00 2mTalk | Muskit: A Mutation Analysis Tool for Quantum Software Testing Tool Demonstrations Eñaut Mendiluze Usandizaga Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics
, Tao Yue Nanjing University of Aeronautics and Astronautics | ||
20:02 2mTalk | IncBL: Incremental Bug Localization Tool Demonstrations Zhou Yang Singapore Management University, Jieke Shi Singapore Management University, Shaowei Wang University of Manitoba, David Lo Singapore Management University | ||
20:04 2mTalk | FixMe: A GitHub Bot for Detecting and Monitoring On-hold Self-Admitted Technical Debt Tool Demonstrations Saranphon Phaithoon Mahidol University, Supakarn Wongnil Mahidol University, Patiphol Pussawong Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University, Rungroj Maipradit Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Kenichi Matsumoto Nara Institute of Science and Technology Link to publication DOI Pre-print Media Attached | ||
20:06 2mTalk | Quito: a Coverage-Guided Test Generator for Quantum Programs Tool Demonstrations Xinyi Wang Nanjing University of Aeronautics and Astronautics, Nanjing, China, Paolo Arcaini National Institute of Informatics
, Tao Yue Nanjing University of Aeronautics and Astronautics, Shaukat Ali Simula Research Laboratory, Norway | ||
20:08 2mTalk | Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions Tool Demonstrations Yusuke Kimura Fujitsu Ltd., Takumi Akazaki Fujitsu Limited, Shinji Kikuchi Fujitsu Laboratories Ltd., Sonal Mahajan Fujitsu Research of America, Inc., Mukul Prasad Fujitsu Research of America | ||
20:10 2mTalk | JTDog: a Gradle Plugin for Dynamic Test Smell Detection Tool Demonstrations Masayuki Taniguchi Osaka University, Shinsuke Matsumoto Osaka University, Shinji Kusumoto Osaka University |