来自软件架构大师的 4 个真理

1. 软件开发是一门科学

科学与数学的根本区别在于，它不可能证明科学理论和规律的正确性。

我无法从数学上证明牛顿第二定律是正确的。对于我可以进行多少实验以及我可以收集多少经验证据，总是有可能一些实验向我证明我的定律是错误的。

科学不是通过证明声称是真实的，而是通过证明它们是错误的来起作用。如果有一些陈述尽管我们付出了所有努力，但仍不能证明是错误的，那么我们就我们的所有目的都认为它们是正确的。

“数学是一门旨在证明陈述真实性的学科。相反，科学是一门在于证明陈述的虚假性的学科“

Dijkstra 是计算科学创始一代中最有影响力的人物之一，他说：“测试表明存在错误，而不是不存在错误”。换句话说：

可以通过测试来证明一个程序是错误的，而不是它是正确的。

这一事实的影响是非凡的。软件开发不是数学活动，即使它似乎在操纵数学结构。相反，软件更像是一门科学。

一个架构影响：Dijkstra 发现使用“goto”指令（在早期的编程语言中使用）阻止了模块的递归分解，损害了能够做出合理证明所必需的“ divide et impera”方法的使用。

另一方面，结构化编程迫使我们通过测试创建小的“科学证明”功能。这就是为什么现代语言不