为什么讨论
透明度说明:下文围绕AI 编程的生成代码审查构造“接手陌生仓库后的第一次修改”案例,所有经历均为合成数据。
为了控制“接手陌生仓库后的第一次修改”的返工成本,生成代码审查必须同时满足任务边界和“关键入口能够重复执行”两项约束。
建议流程
第一轮先先读约束再动手并保存基线,第二轮再明确数据所有权;两轮都由安全评审者核对测试失败前后的对照。
验收清单:
- 用静态检查与运行日志固定“接手陌生仓库后的第一次修改”的当前基线。
- 请安全评审者复核测试失败前后的对照与任务边界。
- 若模型总是改到无关文件仍出现,停止扩大生成代码审查的改动范围。
取舍与停止条件
验收证据:静态检查与运行日志用于确认当前动作,测试失败前后的对照用于交叉检查;两者都不能被展示计数替代。
取舍点在“把提示词当作长期工程资产”:它可能缩短生成代码审查的首轮时间,也可能放大模型总是改到无关文件带来的评审与恢复成本。
这套路径的价值在于把生成代码审查变成可复核任务,而不是制造更像成品的输出。若安全评审者无法确认“关键入口能够重复执行”,本轮状态仍应保留为待评审。
停止条件:当生成代码审查触碰无关模块或数据所有权不清时,回到最小样本重建失败条件,并撤销新增工具权限。
经验征集
你如何判断“关键入口能够重复执行”已经满足?安全评审者还应补看哪类生成代码审查证据?