测试驱动开发
软件开发方法论，要求开发者先编写失败的测试用例，再编写使测试通过的实现代码，以此驱动良好的接口设计和代码质量
核心事实
时间轴 (近 90 天)
Implement技能采用测试驱动开发（TDD）执行具体实现。
规格驱动开发与测试驱动开发的差别在于：TDD 用可执行测试作为契约，规格驱动用自然语言规格加元数据作为契约。
形式化方法、契约式设计和测试驱动开发本质上都是在把模糊的质量期望转化为可执行的断言。
前置约束类似于测试驱动开发中的“测试先行”：先定义“什么算对”，再让生成过程朝该方向收敛。
与传统的测试驱动开发不同，SDD 把验收标准提前到自然语言层面，让非工程角色（产品、安全、合规）也能参与审查。
要弥补 AI 生成代码缺失边界条件处理的问题，需要在提示中显式声明异常要求，或引入测试驱动开发（TDD）让 AI 先写测试再写实现，从而把边界条件显性化。
测试应当基于规格（specification）而非实现（implementation）
TDD对AI智能体失效，因为即便先写测试，它依然用同一个语言模型在同一上下文窗口中理解需求，无法割裂出题者与答题者的认知来源
Devin自测能力的设计思路与软件工程中的测试驱动开发（TDD）理念一脉相承，执行主体从人变成AI
可采用TDD测试驱动模式，先让AI写测试再写实现去通过测试
还有 2 条时间轴事件
全部知识事实 (16)
TDD的核心循环为：先编写失败的测试用例（Red）→编写最少量代码使测试通过（Green）→重构代码（Refactor）
80%已验证传统测试用例编写流程中，测试工程师需要手动拆解功能模块、构思测试场景、编写操作步骤和预期结果
75%已验证可采用TDD测试驱动模式，先让AI写测试再写实现去通过测试
65%已验证SDD（规范驱动开发）强调在生成代码前先用自然语言或结构化文档写清楚功能规范，以约束AI输出并降低幻觉导致的错误代码比例
65%待验证Superpowers的TDD流程要求AI先编写失败的测试用例，再编写刚好能让测试通过的最小实现代码
95%待验证Implement技能采用测试驱动开发（TDD）执行具体实现。
50%待验证规格驱动开发与测试驱动开发的差别在于：TDD 用可执行测试作为契约，规格驱动用自然语言规格加元数据作为契约。
50%待验证形式化方法、契约式设计和测试驱动开发本质上都是在把模糊的质量期望转化为可执行的断言。
50%待验证前置约束类似于测试驱动开发中的“测试先行”：先定义“什么算对”，再让生成过程朝该方向收敛。
50%待验证与传统的测试驱动开发不同，SDD 把验收标准提前到自然语言层面，让非工程角色（产品、安全、合规）也能参与审查。
50%待验证要弥补 AI 生成代码缺失边界条件处理的问题，需要在提示中显式声明异常要求，或引入测试驱动开发（TDD）让 AI 先写测试再写实现，从而把边界条件显性化。
50%待验证测试应当基于规格（specification）而非实现（implementation）
50%待验证TDD对AI智能体失效，因为即便先写测试，它依然用同一个语言模型在同一上下文窗口中理解需求，无法割裂出题者与答题者的认知来源
50%待验证Devin自测能力的设计思路与软件工程中的测试驱动开发（TDD）理念一脉相承，执行主体从人变成AI
50%待验证Matt认为好的代码库就是易于测试的代码库，测试驱动开发是关键技能，能强迫LLM放慢脚步
50%待验证先定义评估标准和测试集再进行提示词优化的Eval-Driven Development方法论与测试驱动开发（TDD）精神一脉相承
50%