tdd - テスト駆動開発を検証できますか?

Question

テスト駆動開発は正式に検証できますか? プログラムが正しく、適切に動作するという保証はありますか? テストを選択するための正式な根拠はありますか? それに従うアルゴリズムはありますか？

Answer 1

TDD は実証ベースのアプローチではなく、経験に基づく例ベースのプロセスです。正確さに関しては、実践者の厳しさが許す限りの価値しかありません。TDDは、何をプログラムまたはテストするかではなく、テストによって駆動されるプログラム方法に関するガイダンスを提供します.何もしない、または無知なテストに合格する実装を完全にTDDすることができます。

ただし、等価分割などの従来のテスト手法を適用して、TDD テストの完全性を高めることができます。コード カバレッジ分析は、テストの有効性に関する (不完全な) ビューも提供します。

より定理証明指向のアプローチについては、Property-based Testingを確認してください。それは TDD の考え方で攻撃される可能性がありますが、TDD サイクルはそのようなコンテキストでは標準的なサイクルのようには見えません。