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