q#中基于属性的量子程序测试

Scidown文献预览系统！

作者：scidown 发布时间：2021-05-28 17:17:57 文章标题：

q#中基于属性的量子程序测试( Property-based Testing of Quantum Programs in Q# )

文章作者：

S Honarvar MR Mousavi R Nagarajan

文章简述：

基于属性的测试是一种使用程序规范进行自动化测试的结构化方法。我们报告的设计和实现，是我们所知的第一个基于性质的量子程序框架。我们回顾了我们设计的各个方面，包括属性规范、测试用例生成和测试结果分析。我们还提供了实现及其工作方式的概述。最后，我们给出了应用我们的框架对一些例子的结果。

文章下载地址（开放版）：

ACM

『Sci-Hub|Scidown』怎么用？来看看教程吧！

支持模式 1.支持DOI号 2.支持英文文献全名搜索 3.支持参考文献搜索 4.知网文献（暂时关闭）

安卓手机、电脑用户，您可以在QQ浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！（注意是文献的DOI号）

苹果手机用户，您需要先在App Store里搜索并下载 Documents by Readdle 这个APP，在APP首页，左划右下角的指南针图标打开APP内置浏览器，在浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！

如出现BUG？赶快加入【Scidown互助交流群】反馈吧：729083885【点击一键加群】

『Sci-Hub|Scidown』相关参考文献