面向 AI 的可控安全测试驱动开发
一项通用工程技能,适用于安全、可控且测试驱动的软件开发。它引导 AI 代理完成源代码分析、根因验证、最小化实现、安全验证、回归测试、运行时验证,并在避免不必要重构和范围蔓延的前提下,受控推进任务。