验证优先开发：超越测试驱动开发的新范式
2025-03-18
本文探讨了“验证优先开发”（VFD）的概念，它强调在编写代码之前先建立验证机制，例如编写测试、定义类型不变式或添加契约等。VFD 与测试驱动开发（TDD）不同，TDD 是 VFD 的一种特例，更强调测试驱动代码设计。VFD 的优势在于降低跳过验证的可能性，尽早发现错误，并提高代码质量。但 VFD 也存在缺点，例如会减慢开发速度，妨碍探索式编程，以及验证方法可能影响代码设计。作者认为 VFD 作为一种技术，而非范式，更灵活且易于与其他方法结合使用。
开发
验证优先