Mono2Sls：通过带有静态分析的多级管道实现整体式到无服务器的自动化迁移

云计算平台提供弹性扩展、托管基础设施和按使用付费的定价，但将现有的整体后端迁移到它们仍然是一项艰巨的软件工程任务。在实践中，迁移需要对程序结构、源代码、基础设施配置和特定于云的设计决策进行协调更改，而这些更改很大程度上仍然是手动执行的。在本文中，我们介绍了 Mono2Sls，这是一种自动化管道，可将整体 Web 后端转换为可部署的 AWS SAM 应用程序。该管道将​​入口点、调用图和异步行为的轻量级静态分析与使用 LLM 代理的四个连续工具相结合：架构师、代码开发人员、SAM 工程师和一致性验证程序。这些代理通过显式中间工件进行通信，并查阅精心策划的 SAM 知识库。 Mono2Sls 对总共超过 10K 行代码和 76 个业务端点的 6 个基准应用程序进行了评估，无需手动修复即可实现 100% 的部署成功。它还达到 66.1% 的端到端正确性和 98.7% API 覆盖率 F1，而商业基线分别达到 53.7--61.2% 和 88.4%。迁移后的系统显示出对 AWS 原生身份验证和异步模式的使用更加一致，消融研究表明静态分析引导的架构规划为端到端正确性贡献了 23.4 个百分点。