paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automating Terraform Code Migration through Provider Evolution Knowledge

通过 Provider 演化知识自动化 Terraform 代码迁移
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10 · 论文属于 PL+AI 的代码迁移/程序变换方向,用 changelog 与 API schema 构造上下文引导 LLM 完成 Terraform 升级,与用户关注的「将静态分析应用于 ML/Agentic 程序」或「用 LLM 改进静态分析/形式化验证」并不重合,也无关浮点与贝叶斯程序分析。仅在『LLM 作为工具改造代码』这一宽泛层面相关,任务本身(IaC provider 版本迁移)偏离核心研究问题,且缺少理论形式化。引用 0 inbox
Pranjal Gupta, Pooja Aggarwal, Brent Paulovicks, Prateeti Mohapatra, Rong Lee, Vadim Sheinin
crossref: 2026-09-12

AI 速览

一句话:提出 TerraMod,利用 changelog、API schema 与弃用链接构建迁移上下文来引导 LLM,自动完成 Terraform 跨 Provider 版本的破坏性变更升级。

Terraform 是主流的 Infrastructure-as-Code 工具,但其 provider 演化迅速、破坏性变更频繁,加之文档分散、官方支持有限,用户往往推迟升级并累积技术债。本文提出 TerraMod 框架,旨在自动化跨 provider 版本的 Terraform 代码迁移。其核心思路是:从外部来源——changelog、API schema 以及弃用链接——抽取并构造“迁移上下文”,把这一结构化的演化知识作为提示注入 LLM,从而引导模型生成有效的升级改写,而非依赖朴素的通用提示。作者在 AWS Provider 真实破坏性变更上进行了评估,结果显示 TerraMod 优于标准 prompting 技术,能够实现可靠的代码升级,为 IaC 代码的自动化维护提供了可行路径。

问题
Terraform provider 频繁引入破坏性变更,而迁移知识散落在 changelog、schema 与弃用链接中,缺乏系统支持,导致升级延迟和技术债累积。
方法
TerraMod 从 changelog、API schema 和弃用链接等外部来源构建迁移上下文,用以引导 LLM 完成跨 provider 版本的代码改写。
评估
在 AWS Provider 的真实破坏性变更上评估,与标准 prompting 技术对比,表明 TerraMod 能带来更可靠的升级效果。
原文摘要(Abstract)

Terraform is a popular Infrastructure-as-Code (IaC) tool for managing cloud environments, but its providers evolve rapidly, introducing frequent breaking changes. These updates pose migration challenges due to fragmented documentation and limited support, leading to delayed upgrades and accumulated technical debt. In this paper, we present TerraMod, a framework that automates Terraform code migration across provider versions. It leverages external sources — changelogs, API schemas, and deprecation links to construct a migration context that guides LLMs towards effective upgrades. Evaluated on real-world breaking changes from the AWS Provider, TerraMod outperforms standard prompting techniques, enabling reliable upgrades.

链接与引用

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

BibTeX
@inproceedings{paperbot12032,
  title = {Automating Terraform Code Migration through Provider Evolution Knowledge},
  author = {Pranjal Gupta and Pooja Aggarwal and Brent Paulovicks and Prateeti Mohapatra and Rong Lee and Vadim Sheinin},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3786582.3786841}
}