机构名称：
¥ 1.0
手动调试量子程序是一项困难且耗时的过程。在本文中，我们介绍了一种基于增量调试和基于属性的测试的量子程序自动调试技术。我们的技术可以自动识别在量子程序更新中导致基于属性的回归测试失败的更改。为了评估我们的技术，我们将故障和保留语义的更改注入到三种量子算法中。在测量故障和保留语义的更改的百分比后，我们讨论了我们方法的可行性和有效性。我们的结果表明，我们的方法具有很高的真正例（称为敏感度）和真负例（称为特异性），并且在引入程序的更改量方面具有鲁棒性。此外，该方法的敏感度随着属性数量的增加而显著增加。而当增加属性和输入的数量时，特异性保持稳定。
基于属性的量子程序回归测试的 Delta 调试
主要关键词
相关文件推荐
