Empirical Evidence And Analytical Reasoning

Bob Martin writes about the interplay of test-driven development and analytical reasoning.

Techniques such as TDD are valuable empirical techniques that can create the dots; but you need reasoned analysis to connect those dots. A suite of tests shows you that a program behaves as expected for discrete situations. Analytical reasoning tells you how you can generalize those situations.