QChecker:通过静态分析检测量子程序中的bug

2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2023-04-10 DOI:10.1109/Q-SE59154.2023.00014

Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao

{"title":"QChecker:通过静态分析检测量子程序中的bug","authors":"Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao","doi":"10.1109/Q-SE59154.2023.00014","DOIUrl":null,"url":null,"abstract":"Static analysis is the process of analyzing software code without executing the software. It can help find bugs and potential problems in software that may only appear at runtime. Although many static analysis tools have been developed for classical software, due to the nature of quantum programs, these existing tools are unsuitable for analyzing quantum programs. This paper presents QChecker, a static analysis tool that supports finding bugs in quantum programs in Qiskit. QChecker consists of two main modules: a module for extracting program information based on abstract syntax tree (AST), and a module for detecting bugs based on patterns. We evaluate the performance of QChecker using the Bugs4Q benchmark. The evaluation results show that QChecker can effectively detect various bugs in quantum programs.","PeriodicalId":276685,"journal":{"name":"2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE)","volume":"7 9","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"QChecker: Detecting Bugs in Quantum Programs via Static Analysis\",\"authors\":\"Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao\",\"doi\":\"10.1109/Q-SE59154.2023.00014\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Static analysis is the process of analyzing software code without executing the software. It can help find bugs and potential problems in software that may only appear at runtime. Although many static analysis tools have been developed for classical software, due to the nature of quantum programs, these existing tools are unsuitable for analyzing quantum programs. This paper presents QChecker, a static analysis tool that supports finding bugs in quantum programs in Qiskit. QChecker consists of two main modules: a module for extracting program information based on abstract syntax tree (AST), and a module for detecting bugs based on patterns. We evaluate the performance of QChecker using the Bugs4Q benchmark. The evaluation results show that QChecker can effectively detect various bugs in quantum programs.\",\"PeriodicalId\":276685,\"journal\":{\"name\":\"2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE)\",\"volume\":\"7 9\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-04-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/Q-SE59154.2023.00014\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/Q-SE59154.2023.00014","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

静态分析是在不执行软件的情况下分析软件代码的过程。它可以帮助发现软件中可能只在运行时出现的错误和潜在问题。尽管针对经典软件开发了许多静态分析工具，但由于量子程序的性质，这些现有工具不适合分析量子程序。本文介绍了QChecker，一个支持在Qiskit中查找量子程序错误的静态分析工具。QChecker由两个主要模块组成:一个是基于抽象语法树(AST)提取程序信息的模块，一个是基于模式检测错误的模块。我们使用Bugs4Q基准来评估QChecker的性能。评估结果表明，QChecker能够有效地检测出量子程序中的各种bug。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

QChecker: Detecting Bugs in Quantum Programs via Static Analysis

Static analysis is the process of analyzing software code without executing the software. It can help find bugs and potential problems in software that may only appear at runtime. Although many static analysis tools have been developed for classical software, due to the nature of quantum programs, these existing tools are unsuitable for analyzing quantum programs. This paper presents QChecker, a static analysis tool that supports finding bugs in quantum programs in Qiskit. QChecker consists of two main modules: a module for extracting program information based on abstract syntax tree (AST), and a module for detecting bugs based on patterns. We evaluate the performance of QChecker using the Bugs4Q benchmark. The evaluation results show that QChecker can effectively detect various bugs in quantum programs.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE)

自引率

0.00%

发文量