paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A Tutorial on Software Engineering for FMware

面向 FMware 的软件工程教程
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 4/10 · 该教程从软件工程视角综述基础模型驱动应用(FMware)的开发实践与挑战,与LLM/Agentic程序工程有一定关联,但未聚焦静态分析、程序语言理论、浮点程序分析或贝叶斯程序分析等用户核心方向,内容偏宽泛综述而非具体技术贡献。引用 0 inbox
Filipe Cogo, Gopi Krishnan Rajbahadur, Dayi Lin, Keheliya Gallaba, Benjamin Rombaut, Gustavo Oliva, Jiahuei (Justina) Lin, Kirill Vasilevski, Ahmed E. Hassan
crossref: 2026-09-12

AI 速览

一句话:该教程从软件工程视角综述基础模型驱动应用(FMware)的最新研究与工业实践。

基础模型(如 GPT-4)催生了 FMware,即由基础模型驱动的应用,构成新一代软件并在新范式下开发。尽管 FM 的随机性带来诸多挑战,FMware 已在软件工程研究(如测试生成)和工业产品(如 GitHub Copilot)中广泛采用。本教程将介绍工程 FMware 的最新研究与工业实践。其视角扎根于软件工程而非人工智能,以确保 FSE 参与者能够理解。教程不报告单一实证评估,而是梳理领域现状、挑战与实践,为构建和演化 FMware 提供软件工程指导。

问题
FMware 由具有随机性的基础模型驱动,其开发、测试与维护等软件工程活动面临新挑战,需从 SE 视角加以理解。
方法
以教程形式系统梳理工程 FMware 的最新研究与工业实践,并坚持软件工程而非 AI 的视角。
评估
教程不包含单一系统的实证评估,而是面向 FSE 参与者综述领域现状、挑战与实践。
原文摘要(Abstract)

Foundation Models (FMs) like GPT-4 have given rise to FMware, FM-powered applications representing a new generation of software that is developed under new paradigms. FMware has been widely adopted in both software engineering (SE) research (e.g., test generation) and industrial products (e.g., GitHub copilot), despite the numerous challenges introduced by the stochastic nature of FMs. In our tutorial, we will present the latest research and industry practices in engineering FMware. Our tutorial's perspective is firmly rooted in SE rather than artificial intelligence (AI), ensuring its accessibility to FSE participants.

链接与引用

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

BibTeX
@inproceedings{paperbot9162,
  title = {A Tutorial on Software Engineering for FMware},
  author = {Filipe Cogo and Gopi Krishnan Rajbahadur and Dayi Lin and Keheliya Gallaba and Benjamin Rombaut and Gustavo Oliva and Jiahuei (Justina) Lin and Kirill Vasilevski and Ahmed E. Hassan},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728621}
}