paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A Vision on Intentions in Software Engineering

软件工程中的意图:一个愿景
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 1/10 · 该论文讨论软件工程中的意图管理与变更推理,属于需求/软件演化/开发者工具愿景,与用户关注的静态分析、LLM/Agent、浮点或贝叶斯程序分析无直接交集;且为 vision paper,未涉及具体方法或 benchmark。引用 8 inbox
Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出持续管理软件意图及其满足情况,以改进变更推理、避免误解并减少事后分析。

软件工程中的意图通常仅通过需求、用例、特性或 issue 等抽象隐式体现,开发者据此开发和演化系统。但这些抽象在表示利益相关者意图上存在固有限制,且多用于文档化,导致变更是否满足其底层意图成为实践难题。本文反思意图(以变更表示)在软件工程中的作用,主张持续管理与控制意图及其满足情况,讨论不同抽象与意图的关系,并提出管理意图的步骤。作者认为,这有助于推理利益相关者请求是否被处理、避免误解,并减少昂贵的事后分析。

问题
现有需求、用例、特性、issue 等抽象难以充分表示利益相关者意图,且多仅用于文档化;因此判断系统变更是否满足其底层意图(且仅满足该意图)十分困难。
方法
本文是一篇愿景/立场论文,通过反思意图(由变更表示)在软件工程中的作用,讨论不同抽象与意图之间的关系,并提出持续管理与控制意图及其满足情况的步骤。
评估
本文未进行实证评估,而是以论证和愿景形式提出研究议程,旨在指导未来研究与工具支持。
原文摘要(Abstract)

Intentions are fundamental in software engineering, but they are typically only implicitly considered through different abstractions, such as requirements, use cases, features, or issues. Specifically, software engineers develop and evolve (i.e., change) a software system based on such abstractions of a stakeholder’s intention—something a stakeholder wants the system to be able to do. Unfortunately, existing abstractions are (inherently) limited when it comes to representing stakeholder intentions and are mostly used for documenting only. So, whether a change in a system fulfills its underlying intention (and only this one) is an essential problem in practice that motivates many research areas (e.g., testing to ensure intended behavior, untangling intentions in commits). We argue that none of the existing abstractions is ideal for capturing intentions and controlling software evolution, which is why intentions are often vague and must be recovered, untangled, or understood in retrospect. In this paper, we reflect on the role of intentions (represented by changes) in software engineering and sketch how improving their management may support developers. Particularly, we argue that continuously managing and controlling intentions as well as their fulfillment has the potential to improve the reasoning about which stakeholder requests have been addressed, avoid misunderstandings, and prevent expensive retrospective analyses. To guide future research for achieving such benefits for researchers and practitioners, we discuss the relationships between different abstractions and intentions, and propose steps towards managing intentions.

链接与引用

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

BibTeX
@inproceedings{KrugerL0CBR23,
  title = {A Vision on Intentions in Software Engineering},
  author = {Jacob Krüger and Yi Li and Chenguang Zhu and Marsha Chechik and Thorsten Berger and Julia Rubin},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3613087}
}