bug的原因是没有做充分测试,更深层次的原因来自需求的不可充分测试性
如果需求可以做到严格定义,有完美自洽的逻辑,那么代码就很容易充分测试,只要测试到位可以几乎没有bug。比如各种数学算法的实现,bug就非常少。
而大多数软件面临的需求都是不能被严格定义的,甚至很多都是主观判断,连个客观标准都没有。
人类不是个很靠谱的东西,总会有随机错误,即使打字录入这么简单的事情都有1-3%的错字,何况写源代码这种比打字难得多的事情。
在研发成本投入足够,开发商也重视质量的前提下,bug数量主要取决于测试,而测试是否充分主要是需求决定的。
也许会有个别程序员水平欠佳,但是在测试充分的时候他们很快会被发现。
第一,程序员是人,人一定会犯错,因为总有精神不集中的情况,静态检查永远无法发现所有的低级错误,覆盖测试也仍然不够
第二,对代码进行review和test可以有效消除bug,但这两种手段的有效性随逻辑复杂度升高而下降
因此,软件工程的主要目标一直都是控制复杂度。程序员水平的一个重要表征就是可以控制住每一段代码的复杂度,保证代码可读性和非耦合性,从而保证即便在精神不够集中的情况下也不会产生太多的bug。也有一些程序员在精神高度集中的情况下可以将很复杂的逻辑一遍写对,这是一种很有益的技巧,但在可能的情况下,我还是更推崇将问题拆分降低复杂度的方法。
主要是需求方水平有限导致的……
如果所有的需求都是well-defined的,那出现Bug的可能性还是很低的。
关键是程序员要实现的需求,别说well-defined了,很多时候连definition都没有。