Dan Luu • 11/3/2014

Testing v. informal reasoning

This article is a critique of the idea, presented in 'Out of the Tar Pit,' that informal reasoning is more important than testing. The author argues that for inherently complex systems like modern CPUs or tax code, testing is indispensable because human reasoning is fallible and cannot fully grasp such complexity. The piece uses examples from hardware and software to defend the necessity of testing over pure informal reasoning.

0 comments

#testing #state management #formal verification