Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.14076 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929509641486336 |
|---|---|
| author | Langdon, William B. |
| author_facet | Langdon, William B. |
| contents | Testing can be key to software quality assurance. Automated verification may increase throughput and reduce human fallibility errors. Test scripts supply inputs, run programs and check their outputs mechanically using test oracles. In software engineering implicit oracles automatically check for universally undesirable behaviour, such as the software under test crashing. We propose 4 properties (probability distributions, fixed qubit width, reversibility and entropy conservation) which all quantum computing must have and suggest they could be implicit test oracles for automatic, random, or fuzz testing of quantum circuits and simulators of quantum programs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_14076 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Implicit Test Oracles for Quantum Computing Langdon, William B. Software Engineering Quantum Physics Testing can be key to software quality assurance. Automated verification may increase throughput and reduce human fallibility errors. Test scripts supply inputs, run programs and check their outputs mechanically using test oracles. In software engineering implicit oracles automatically check for universally undesirable behaviour, such as the software under test crashing. We propose 4 properties (probability distributions, fixed qubit width, reversibility and entropy conservation) which all quantum computing must have and suggest they could be implicit test oracles for automatic, random, or fuzz testing of quantum circuits and simulators of quantum programs. |
| title | Implicit Test Oracles for Quantum Computing |
| topic | Software Engineering Quantum Physics |
| url | https://arxiv.org/abs/2409.14076 |