No Silver Bullet: Essence and Accidents of Software | 没有银弹：软件开发中的主要问题和次要问题

最新推荐文章于 2022-06-05 14:50:35 发布

BasilGuo

最新推荐文章于 2022-06-05 14:50:35 发布

阅读量1.1k

点赞数 1

分类专栏： SoftwareEngineering 文章标签：软件开发

本文链接：https://blog.csdn.net/basil1728/article/details/105436799

版权

SoftwareEngineering 专栏收录该内容

1 篇文章 0 订阅

订阅专栏

本文系软件工程中著名的一篇论文：No Silver Bullet: Essence and Accidents of Software ¹
@Author：Frederick P. Brooks, Jr.，百度百科，Wikipedia
@Publish Date：April 1987
@Journal：IEEE Computer

1. 银弹（Silver Bullet）

在西方传说中，有狼人的存在，而杀死狼人的只能是银弹。

作者想要表明的是，软件工程因为没有计划、预算爆炸以及产品缺陷成为了类似狼人的存在，我们想要一种类似银弹的东西，这可以使得软件成本像计算机硬件成本一样快速下降。

但是实际上从此（1987年）向后展望十年，是没有银弹的，即没有一种单独的技术或管理的进步可以保证
在生产率、可靠性、简单性上有一个数量级的改善。作者想要的是十年增长10倍生产效率，但是这无法实现。作者承认这些年会有进步，但是不大（没有达到数量级）就是了。

2. 本质性难题（Essence）

软件工程本质使得其成本不能像计算机一样快速下降，我们不能期望两年两倍收益（计算机硬件满足摩尔定律：计算机硬件每两年CPU芯片上集成度翻一番，性能翻一倍。²）。

当然了，不是软件进展太慢，而是计算机硬件发展太快了。人类文明史上没有一种技术能够在30年内在性能和价格上获得6个数量级的提升。没有其它一种技术可以同时提高性能和降低价格，这是因为电脑制造从组装做业走向了流水线作业。

然而，因为其本质性难题，软件工程不可能做到计算机那样。所谓的其本质难题主要是：

复杂性：软件工程是解决问题的步骤的抽象，在软件中增加元素不是简单的线性增加，而且软件中状态众多，元素之间交互也不是线性的。
配合性：软件接口，因人而异。尤其是其它非本软件所作接口，导致重构软件难以一致。
可变性：软件常常需要根据人群、法规、硬件环境、应用领域等改变。
隐匿性：尚未完成的软件是不可见的，也无法具象化，没法用图表准确表述。

3. 过去突破解决了附属性难题（Accident）

过去的几年里，通过努力基本解决了非本质性难题。

高级编程语言：消除了程序所有非内生性复杂性，但是也带来了工具（非语言本身）负担。
分时性：主要是缩短系统响应时间。但是比100ms还小时人们通常注意不到了。
开发环境统一：完整的函数库、统一的文件格式、管道和过滤器，促成软件共用。

4. 对于银弹的期待

Ada和其它高级编程语言：Ada的理念比其自身更加先进：模块化（Modularity）、抽象数据类型（Abstract Data Type）、层次式结构（Hierarchy Structure）
面向对象语言：如上，解决了附属性难题，而非本质性难题。
人工智能：像人一样解决问题；或者通过启发式（Heuristic）算法或基于规则编程。
专家系统：人工智能当时的发展成果【可惜了，我上学太晚了，如果是2000年上大学，那么信息管理与信息系统还挺不错的】。
自动化程序设计相比于解决问题本身，解决问题的方法更应该具有规范。
图形化编程：用图形化的方式进行软件设计（所见即所得呗）。但是流程图并不能很好的表达软件结构，而且电脑屏幕有限，不能展现所有的软件逻辑。
程序验证：测试程序，调试bug。系统设计阶段消除bug好像不太可能（因为这是程序员写出来的额）。
工具和环境：IDE保证的是程序没有语法或者语义错误，但是对于程序本身逻辑的正确性，即是否能够解决问题并不知道。
工作站：加快计算机的速度，也只是提高了编程效率。