2007-09-15
什么是安全型程序？
对于某个程序来说，如果其正常运行关乎人命，那么它的安全性能就是至关重要的。如果程序有缺陷而带来危险，就会导致死亡或者重伤。火车信号系统、航空电子设备控制、医疗设备和太空宇航应用就是典型的例子。由于这些程序关系到人身安全，所以任何误差都是不允许的。
这是个非常强烈的要求，尤其是考虑到所有的大型程序一般都有误差。但就在这个现代技术时代，每次登上火车或飞机、进入医院或者开车时，我们却都把自己的安全交给电脑程序来支配。我们的目的只有一个，就是确保这类程序的万无一失，而本文也将告诉你，要编写出没有任何误差完全可靠的软件，实际上也是有可能实现的。
评论3
楼主 2007/8/31 13:54:09
楼主 2007/9/15 12:52:08
