基于规范的代码 - 文本 - 代码重构用于 LLM 介导的软件进化

针对直接代码转换易导致语义漂移和逻辑丢失的问题，本文提出一种基于规范的“代码 - 文本 - 代码”重构框架。该方法先将源码转化为捕捉行为与意图的中立文本规范，经迭代验证后再生成目标代码。框架整合了 AST 元数据、依赖图谱及检索增强技术，并通过图形式化方法评估转换损耗。实验表明，该 approach 实现了可控的、基于规范的软件进化过程，而非简单的语法转换。