.png){kind=icon}
返回
Generating Property-Based Tests for Quantum Algorithms
.png){kind=icon}
PRE
AI
DOI：10.1007/978-981-96-7423-7_2.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
量子软件的随机性为其验证引入了独特挑战，因为传统测试技术可能无法处理量子系统的概率特性。本文提出了一种用于量子计算自动生成单元测试的替代方法，特别是针对量子隐形传态等基础算法中的量子预言机。采用基于属性的测试，处理与经典值、量子叠加态和纠缠相关的断言。测试方法涉及抽象指定属性，并通过基于示例的开发自动生成测试。该方法与语言无关，且可适应不同的断言技术，展示了其在多种编程语言中测试量子算法的能力。这项工作标志着量子软件验证的进展，有助于推动量子计算在各行业的广泛应用。
Keyword:
Quantum Testing
Quantum Computing
Quantum Software Engineering
Quantum Property-based Testing
期刊
机构
引用论文
.png){kind=icon}
分享收藏Automatic generation of test circuits for the verification of Quantum deterministic algorithms量子确定性算法验证的测试电路自动生成
PREAI
分享收藏
分享收藏
查看更多内容