Marc Seemann Compares Testing to Mathematical Proof

Danish developer Mark Seemann has proposed a new metaphor for understanding test-based development (TDD) by comparing the process of writing automated tests to mathematical induction. In a recent article, he argues that a correctly formulated test is a formal statement that must remain true in any environment if the developer has explicitly recorded all the prerequisites.