电脑真的可靠吗?
是的,电脑是可靠的。
但这里的可靠是指CPU的指令集是可靠的。
CPU的指令系统是经过严密的设计,并且经过了可靠地测试。
CPU只是完成基本的运算,因为运算简单,所以具有可穷举的特点,可以做到完美测试。
既然经过了完美测试,所以CPU是可靠的。
那么我们写的程序是可靠地吗?
答案是不可靠。
就拿操作系统来说,数以万计的人在编写,相互之间难免会出现纰漏。
bug一直在改,可是永远也改不完,因为它太复杂了,以至于没有办法穷举。
所以永远也不能做到完美测试,只能尽力发现问题,然后解决问题。
只是经过了程序员的大脑,而没有经过测试的代码,永远都是不可靠的。
我们力争做到完美测试。能用电脑本身来测的,一定要编写合适的测试用例;
不能用电脑来测的,只能尽可能地发动更多的人、抽出更多的时间来测试。
当然在做所有测试之前,必须要反复阅读代码,做到逻辑上是无误的。