关于软件和软件工程

 

大家可能都记得动画片《猫和老鼠》里的经典场景：聪明的小老鼠轻轻的吹了一口气，让水盆里的一只小纸船飘到对面，纸船前端的一颗缝衣针刚好刺破了对面的气球，杠杆的一端失去气球的支撑，另一端开始飞快地下滑，把系在上面的一根火柴划燃了，火柴移动的同时也点燃了一个酒精炉，然后就是沸腾的水汽推动了活塞，活塞又推动了滑轮……然后又经过各种各样有趣的装置，直到最后，只为驱动一个大水瓢，把可怜的小猫抛到半空中，然后重重地摔下来。

 

在很多人看来，这样可笑的装置，无疑是对当代工业文明的尖刻讽刺。就像高贵的宫廷妇女一定要用叉子来吃盘子上的葡萄，当她插了半天都插不到的时候，天真的孩子用小手一抓，葡萄很快就落到小孩得意的嘴里。然而，更加戏剧性的是，如果把这堆繁杂臃肿的电气装置都换成逻辑（比如：如果、那么、否则、或者反复地做直到，等等）这套装置就变成了我们今天的软件。更不幸的是，至少这些杠杆、活塞和滑轮还是肉眼可见的，而运行的逻辑却是看不见也摸不着，就算你能用最先进的探测器看到深藏在指头大小芯片里的那一股股走走停停的电子流，但它们又是如此的琐碎和复杂，以至于你根本无法理解它们的行为，无法判断它们的对错优劣。所以你根本不知道，当你不小心吹了这口气，最后那只大水瓢，到底是会把坏猫赶走，还是会重重地砸在你自己的头上。这不是幻觉，不是Matrix，这就是真实，我们就生活在这样处处充满着危险的世界上。大概我们唯一可以感到幸运的是，只要那只大水瓢以及在后面驱动它的各种部件都能正常地工作，我们就可以把体重数百倍于自己的坏猫发射出去。尽管水瓢驱动系统是如此的庞大和脆弱，为了铲除坏猫，我们的冒险还是值得的。

 

于是，人类创造了各种各样的思想、方法和技巧，来确保这套坏猫发射器及其类似系统的正常运行，他们把这套知识体系叫做软件工程。随着软件工程的日益发展，一个聪明的人有一天突发奇想，为坏猫发射器设计了一个搜索引擎和一个模式识别装置，里面有更加复杂却又十分健壮而且还能不断学习自我更新的逻辑序列，还把这个装置跟猫脑电图和基因序列分析器相连，可以在全世界范围内搜索那些有犯罪倾向的猫，然后把它们统统发射到月球上去。这可是一个激动人心的成就，却也遭到了未来学家和伦理学工作者的置疑，他们主要是担心让软件具有过分的智能以后，这个可怕的机器有一天是否会把人类也赶出地球去。