知识卡片
软件工程的核心是增量变更加自动验证
内容
软件工程之所以不需要像结构工程那样依赖大量前期数学分析，根源在于设计和制造的关系被彻底颠倒了：传统工程里制造成本高昂、几乎不可逆，必须在设计阶段穷尽预测；而软件的”制造”（编译、部署）几乎免费且可以瞬间重来，几乎全部精力都该花在设计上。这意味着软件工程真正的纪律不是数学证明，而是敢于持续做小的改动、靠自动化验证兜底，让改错的代价低到可以频繁试错。
参考来源
- 位置：《演进式架构（原书第2版）》第3章《实现增量变更》3.2节「小结」（源文件：_epub-src/EPUB/xhtml/chapter07.xhtml）
- 结论依据：原文明确结构工程制造成本高昂需大量前期分析，而软件制造几乎免费可瞬间重来，因此几乎所有精力花在设计上，真正学科关键在于增量变更与自动验证，直接支持卡片论点。
- 原始内容："在结构工程中，制造成本高昂，所以不能容忍任何设计上的瑕疵，这就需要在设计阶段进行大量预测分析……然而，软件是完全不一样的情况……几乎所有的精力都花在设计上，而不是制造……真正的软件工程学科的关键在于增量更改与自动验证。"