量子软件可分析性模型的验证：一系列实验
软件工程
2026-02-25 v1
摘要
混合软件的可分析性——即集成了经典和量子组件的软件——是确保其可维护性和产业化采用的关键因素。本文通过一系列实验，对先前提出的基于 ISO/IEC 25010 标准的混合软件可分析性模型的量子组件进行经验验证。实验系列包括四个研究，涉及在学术和专业环境中具有不同背景的参与者。在这些实验中，评估该模型对量子算法可分析性的有效测量能力，并检查该模型计算的可分析性水平与参与者对这些算法复杂性的感知之间的关系。结果表明，所提出的模型能够有效区分具有不同可分析性水平的量子软件组件，并与人类感知相吻合，强化了其在量子计算中的有效性。
关键词
引用
@article{arxiv.2602.21074,
title = {Validation of an analyzability model for quantum software: a family of experiments},
author = {Ana Díaz-Muñoz and José A. Cruz-Lemus and Moisés Rodríguez and Maria Teresa Baldassarre and Mario Piattini},
journal= {arXiv preprint arXiv:2602.21074},
year = {2026}
}
备注
42 pages, 5 figures, 12 tables. This is the Author Accepted Manuscript (AAM) of the article published in Empirical Software Engineering (2026). The final published version is available at https://doi.org/10.1007/s10664-026-10825-3