I really like the author's assertion that writing the test feels like proving mathematics. I have always been fascinated by this connection. When you look at th

I really like the author's assertion that writing the test feels like proving mathematics. I have always been fascinated by this connection. When you look at the history of mathematics w/r/t the discovery of calculus there was a 150+ year period in which people could use it to do work but nobody could prove calculus. It wasn't until the early 1800s and the technique involved bounding errors. I'm referring to the delta-epsilon proofs from analysis. To me this is exactly like what is happening in computer programming right now. In my opinion automated testing is some of the most cutting edge stuff going on right now.