InfraFix：面向基础设施即代码的技术中性修复
软件工程
2025-05-19 v2
摘要
基础设施即代码（IaC）使大规模和自动化的 IT 基础设施管理成为可能，但容易出错，可能导致安全漏洞、服务中断和数据丢失。虽然先前研究聚焦于检测 IaC 问题，但自动化程序修复（APR）仍鲜有探索，主要due to缺乏合适的规范。在本工作中，我们提出了 InfraFix，这是第一个用于修复 IaC 脚本的技术中性框架。不同于先前方法，InfraFix 允许APR技术由多样化信息源驱动。此外，我们引入了一种新颖的修复情景生成方法，使APR技术在IaC领域的大规模评估成为可能。我们实现并评估了InfraFix，采用基于SMT的修复模块和使用系统调用的状态推断模块，展示了其在254,288个修复情景中的95.7%成功率。我们的工作为在IaC中推进APR提供了基础，使研究者能够使用InfraFix实验新的状态推断和修复技术，并借助我们的修复情景生成方法对其方法进行大规模评估。
引用
@article{arxiv.2503.17220,
title = {InfraFix: Technology-Agnostic Repair of Infrastructure as Code},
author = {Nuno Saavedra and João F. Ferreira and Alexandra Mendes},
journal= {arXiv preprint arXiv:2503.17220},
year = {2025}
}
备注
Accepted at ISSTA 2025