paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Rethinking Software Quality Measurement: A Vision for AI-Assisted Triangulation in the Post-Metrics Era

重新思考软件质量度量:后指标时代 AI 辅助三角互证的愿景
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 4/10 · 论文关注软件质量度量,虽结合LLM与结构分析并提及验证-修复,但核心是质量测量愿景,并非直接改进静态分析/形式化验证,也未涉及浮点或贝叶斯程序分析,与研究方向仅部分相关。引用 0 inbox
Jomar Thomas Almonte, Nathalia Moraes do Nascimento
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出后指标时代用仓库挖掘、LLM 语义解释与结构度量三角互证来度量软件质量,并将信号分歧形式化为类型化诊断信号。

ISO/IEC 25010 定义了八个产品质量特性,但数十年来质量定义与实际度量之间始终存在鸿沟。本文认为根源在于以往主要依赖结构指标,难以捕捉语义质量维度。为此,作者提出 AI 辅助三角互证愿景:融合仓库挖掘的演化信号、LLM 智能体的语义解释以及经验证的结构度量。核心是将信号不一致形式化为经校准、置信度感知的分歧,并转化为类型化诊断信号,指明需关注的质量维度及应采取的行动。方法上还设计了结合规则与受限 LLM 判断及弃权的 ISO 映射机制,以及与验证和修复工作流集成的架构。若实现,质量评估将从晦涩数字转变为可操作、不确定性感知的指导。

问题
软件质量定义与实际度量之间存在持久鸿沟;传统结构指标难以捕捉语义质量维度。
方法
提出 AI 辅助三角互证,融合仓库挖掘、LLM 语义解释与结构度量,将信号分歧形式化为类型化诊断信号,并设计与验证-修复工作流集成的架构。
评估
作为愿景/立场论文,主要通过概念形式化与架构设计进行论证,未报告实证评估。
原文摘要(Abstract)

ISO/IEC 25010 defines eight product quality characteristics, yet after decades of research, a persistent gap remains between quality definitions and practical measurement. We argue this gap exists not because the problem is intractable, but because previous approaches relied primarily on structural metrics, which struggle to capture semantic dimensions of quality. This paper articulates a vision for closing this gap through triangulation: combining evolutionary signals from repository mining, semantic interpretation from LLM agents, and structural analysis from validated metrics. Central to this vision is a formalized concept: when signals disagree, the disagreement becomes a typed diagnostic signal, revealing not just uncertainty, but which quality dimension requires attention and what action is appropriate. We present an initial formalization of disagreement as calibrated, confidence-aware divergence across signals, an ISO mapping mechanism that combines rules with constrained LLM judgments and abstention, and a triangulation architecture that integrates with verification and repair workflows. Triangulation serves as a Verification-Repair substrate: an evidence layer that gates verification tasks and guides repair actions. If this vision succeeds, quality assessment transforms from opaque numbers to actionable, uncertainty-aware guidance.

链接与引用

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

BibTeX
@inproceedings{AlmonteN26,
  title = {Rethinking Software Quality Measurement: A Vision for AI-Assisted Triangulation in the Post-Metrics Era},
  author = {Jomar Thomas Almonte and Nathalia Moraes do Nascimento},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3805580}
}