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.

翻译：测试是确保软件质量的关键环节。自动化验证能够提升测试吞吐量并减少人为失误。测试脚本通过提供输入、运行程序并利用测试预言机自动检查输出结果。在软件工程中，隐式预言机能够自动检测普遍存在的不良行为，例如被测软件的崩溃。我们提出了所有量子计算都必须满足的四个属性（概率分布、固定量子比特宽度、可逆性与熵守恒），并建议将这些属性作为隐式测试预言机，用于对量子电路及量子程序模拟器进行自动化、随机化或模糊测试。