Indexed by：
Abstract：
本发明提出一种用于量子程序测试的量子符号执行方法，专注于为量子程序生成高覆盖率的测试用例，这有助于发现量子程序中的错误。量子符号执行的主要思想是从所有可能的测试用例，也就是测试用例空间中找到一个程序分支合适的测试用例。它不同于传统的符号执行方式，它是通过计算而不是搜索来获取测试用例的。量子符号执行只需要几个量子位，就可以利用叠加态和并行性原理来存储测试用例空间。根据被调试程序中的条件语句，将测试用例空间连续划分为子空间、子空间的子空间等。同一子空间中的所有值是相应程序分支合适的测试用例，它们可以测试待测代码中的相应分支。量子符号执行为调试量子程序提供了一种可行的方法。
Keyword：
Reprint Author's Address：
Email：
Patent Info ：
Type： 发明申请
Patent No.： CN202310020242.6
Filing Date： 2023-01-07
Publication Date： 2023-04-11
Pub. No.： CN115952871A
Applicants： 北京工业大学
Legal Status： 实质审查
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 1
Affiliated Colleges：
