Verified Spec-Driven Development (VSDD)
3 months ago
- #Formal Verification
- #Software Development
- #AI Orchestration
- 经过验证的规范驱动开发（VSDD）将规范驱动开发（SDD）、测试驱动开发（TDD）和验证驱动开发（VDD）整合为统一的AI协调流程。
- VSDD遵循结构化流程：规范定义→测试生成→实现→对抗性验证→形式化验证→收敛。
- 关键角色包括架构师（人类开发者）、构建者（处理规范/测试/代码的AI）、追踪者（Chainlink负责问题分解）和对抗者（超严格AI审查员）。
- 规范在实现前需定义行为契约、验证架构和非功能性需求。
- 测试根据规范生成，必须在实现前失败（红→绿→重构循环）。
- 对抗性验证通过重置上下文确保规范忠实度、测试质量和代码健壮性，保持无偏见审查。
- 形式化验证工具（如Kani/CBMC/Dafny）利用纯函数边界验证可证明属性，确保核心逻辑确定性。
- 当规范、测试、实现和证明经得起对抗审查且无重大漏洞时，即达到收敛状态。
- VSDD强调可追溯性、反马虎偏见及构建者与对抗者的AI模型差异，以保障高质量输出。
- 特别适用于金融、医疗、安全等高风险领域，这些领域对正确性和可维护性要求极高。