Скачать или смотреть Why devs rely on tests instead of proofs for verification

#UncleBob #Dijkstra #SoftwareEngineering #FormalVerification #UnitTesting #ProgrammingHistory #CleanCode #SoftwareTesting #ComputerScience #CodeQuality


In this clip, Uncle Bob (Robert C. Martin) recounts the ambitious vision of Edsger Dijkstra — a vision where software would be developed and verified like mathematics, using theorems, lemmas, and formal proofs. Dijkstra dreamed of a world where bugs were eliminated through logic, not testing. But the harsh realities of computing, including the infamous halting problem and the complexity of large systems, led the industry down a different path — one grounded in science, not mathematics.

Instead of proving programs correct, we test them relentlessly, treating software like a scientific discipline built on evidence and experimentation. Uncle Bob explores this philosophical shift and what it means for developers today.

Sources:
https://www.cs.virginia.edu/~robins/T...
https://www.psy.gla.ac.uk/~steve/educ...
https://www.sciencedirect.com/topics/...
https://pure.tue.nl/ws/files/2408738/...


Follow us on X: https://x.com/DevToolReady