跨智能体规范可移植性研究：基于Oracle到PostgreSQL迁移的实验分析

本文通过Oracle到PostgreSQL迁移实验，评估了跨智能体规范可移植性。实验分为两个阶段，第一阶段在1,006个PL/SQL文件上进行了规范优先迁移管道评估，第二阶段在1,802个Oracle脚本上使用Amazon Kiro、Google Gemini、GitHub Copilot、Claude Code和Cursor进行了跨智能体实验。评估指标包括Token F1、精确匹配、SQL语法有效性、AST精确匹配、AST平均相似度和即时可运行性。结果表明，规范大小并不能预测实现质量，跨智能体迁移可能导致显著的智能体依赖性退化。重写显著提高了Gemini的表现，压缩并未提供普遍益处，检索增强的摄入是Gemini和Copilot在各自智能体Pareto前沿上的唯一共同策略。研究结果表明，在异构SDD工作流程中，规范不应被视为智能体无关的工件，并激励了对规范可移植性、智能体特定解释和基于检索的访问在多智能体软件工程中的显式考虑。