paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Quantum Software Engineering 101

量子软件工程101
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文是量子软件工程的技术简报/综述,讨论量子软件需求、建模、编码、测试与调试,与用户关注的 PL 与 AI 交叉(Agentic/ML 程序静态分析、LLM 改进静态分析/形式化验证、浮点或贝叶斯程序分析与 LLM 交叉)没有直接关系;测试调试虽与程序分析相关,但面向量子软件且偏综述,不涉及用户核心问题。引用 0 inbox
Shaukat Ali
crossref: 2026-09-12

AI 速览

一句话:系统介绍量子软件工程,涵盖量子软件需求、建模、编码、测试与调试及未来方向。

量子软件工程(QSE)关注为量子计算机开发具有成本效益的量子软件,是一个较新的研究领域,现有工作主要围绕量子软件的设计、开发、测试与维护。本文以技术简报形式,先介绍量子计算,再概述QSE,并从量子软件需求工程、建模、编码、测试和调试等多个视角展开讨论。其目标不是报告具体实证结果,而是向ICSE与会者系统梳理QSE的当前状态与未来研究方向,吸引青年研究者、资深研究者及从业者参与。

问题
量子软件工程尚属新兴领域,如何经济高效地设计、开发、测试和维护量子软件是核心问题。
方法
以技术简报形式,先介绍量子计算,再从需求工程、建模、编码、测试与调试等视角综述QSE。
评估
摘要未涉及实证评估,作者以现状梳理和未来研究方向展望作为简报目标。
原文摘要(Abstract)

Quantum Software Engineering (QSE) focuses on developing cost-effective quantum software for quantum computers. It is a relatively new area of research, with current studies primarily aimed at designing, developing, testing, and maintaining quantum software. Interest in QSE has been steadily increasing; thus, introducing this topic to the ICSE conference audience will further engage young researchers, senior researchers, and practitioners interested in QSE. This technical briefing will introduce quantum computing, followed by the QSE overview. It will then explore QSE in detail from various perspectives, including quantum software requirements engineering, modeling, coding, testing, and debugging. Overall, this technical briefing aims to provide a comprehensive overview of the current state of QSE as well as future research directions.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11863,
  title = {Quantum Software Engineering 101},
  author = {Shaukat Ali},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3776595}
}