paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Exploring Prompts as Mixed Requirements and Solutions Artifacts

探索 Prompt 作为混合需求与解决方案工件
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 论文从需求工程视角讨论 AI 编码提示(Prompt Triangle 概念模型),属于开发者工具与软件工程研究,与用户关注的 PL↔AI 交叉(对 Agentic 程序做静态分析、用 LLM 改进静态分析/形式化验证)、浮点程序分析、贝叶斯程序分析均无实质交集。且仅为概念模型加实证议程,缺少形式化方法、工具实现或 benchmark,与用户偏好的问题驱动型工作不符。引用 2 inbox
Shalini Chakraborty, Jan-Philipp Steghöfer
crossref: 2026-09-12

AI 速览

一句话:提出 Prompt Triangle 模型,将 AI 编码提示视为混合需求与解决方案信息的演化制品,并给出实证议程。

随着 AI 编码助手普及,软件开发实践从编写代码转向编写提示,但提示尚未被充分理解为需求制品。作者主张提示是轻量、演化中的需求制品,会有意混入解决方案空间的信息。为此提出 Prompt Triangle 概念模型,包含功能与质量(需求)、通用解决方案(策略与技术选择)和具体解决方案(实现级约束)三个组成部分。基于此提出若干假设:提示会在这三类组件间演化,受用户因素影响,并随时间在功能上趋于稳定;三类组件的完整性与代码质量相关。论文并未报告实证结果,而是规划了语料库构建、纵向研究、受控实验以及需求感知提示指南开发等实证议程。

问题
AI 编码助手使提示成为核心开发制品,但现有实践与理论未将提示视为需求与解决方案混合的演化工件。
方法
提出 Prompt Triangle 概念模型,把提示拆为功能与质量、通用解决方案、具体解决方案三类组件,并提出可检验假设。
评估
通过计划中的语料库构建、纵向研究、受控实验和指南开发来检验假设,尚无实证结果。
原文摘要(Abstract)

AI coding assistants shift software practice from writing code to crafting prompts. We argue that prompts should be treated as lightweight, evolving requirement artifacts that intentionally mix in information from the solution space. We propose a simple conceptual model – the Prompt Triangle – with three components: Functionality and Quality (the requirement), General Solutions (solution strategy and technology choices) and Specific Solutions (implementation-level constraints). We hypothesize that prompts evolve across these components, are shaped by user factors, stabilize on functionality over time, and that completeness across all three components correlates with code quality. We outline an empirical agenda to test these hypotheses through corpus creation, longitudinal studies, controlled experiments and the development of requirements-aware prompting guidelines.

链接与引用

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

BibTeX
@inproceedings{paperbot11753,
  title = {Exploring Prompts as Mixed Requirements and Solutions Artifacts},
  author = {Shalini Chakraborty and Jan-Philipp Steghöfer},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3795658}
}