如何证明程序没有bug？

网友解答: 正常情况下：bug不是人们有意写的，bug其实是程序员犯的错误。首先，我们把bug分类，不同的类型的Bug，不同的处理方式。尽量照顾到了，Bug就会少很多。1.特殊需求。特殊

正常情况下：bug不是人们有意写的，bug其实是程序员犯的错误。

首先，我们把bug分类，不同的类型的Bug，不同的处理方式。尽量照顾到了，Bug就会少很多。

1.特殊需求。

特殊需求不算是bug，但是可能因为有些特殊的要求，导致代码复杂度快速上升，而且重新架构之后，依然无法简化代码结构。这个就要和提出需求的人讨论下，看看如何改进需求。在完成功能的情况下，降低代码复杂度。

2.逻辑性Bug。

比如数值转换错误，算法错误，计算结果不对等等。这块就是考验开发人员自身功力，特别是理解需求和耐心以及细致了。全看个人了。绕不过去，提升自身能力为上。

3.框架和框架应用Bug有些框架本身自带bug，被代码触发之后，是修正还是绕过去，完全看具体的情况了。框架应用bug，因为对框架的某些技术细节不熟悉，胡乱用框架代码导致的bug。或者代码需求已经超出框架设计初衷了。要么仔细学习文档，要么绕行。

4.外部环境变化引入的Bug

举个例子来说：网络服务器的开发，一般的开发环境都是高网速的局域网中，实际部署之后，可能会遇到极低网速连接情况。可能会引发在高速网络开发环境中无法发现的Bug。数据库连接也是同样的问题，高负荷生产数据库和低负荷的开发服务器的不同，会带来一些bug这样的不可预料的偶发Bug，只能是记录好关键日志，以备后查。