为什么无法发现所有Bug

可以从很多角度来回答这个问题。

1、程序执行路径数目无限多。

考虑有2个if语句，则可能的路径是4个。如果这2个if语句包含在一个循环中，这个循环最多可以执行100次，那么可能的执行路径为4的100次方。

实际程序可能有数百万行代码，其中包含着数十万个if语句，几万个循环。执行路径的数目远超上面的数值。

而且，很多进程的主函数就是一个无限循环，一直在响应输入。

2、多线程

每个线程都有其独立的执行路径，而多个线程可能并行执行也可能交替执行，这使得执行路径更加复杂。还存在加锁问题。

3、输入输出的可能值无限多

4、等价类的组合

考虑一个很小的需求，有三个输入，每个输入有3个等价类，则等价类的组合有27种。实际大型系统，输入的数目可能是上千个，等价类的组合数是天文数字（比如3的2000次方）。

有些输入还可以进行很多次。比如购物时可以将多个商品依次加入购物车。

6、操作顺序

考虑一个软件有三个输入，如果输入顺序没有限制，则有6种输入顺序。实际大型系统，输入的数目可能是上千个，操作顺序的种类是天文数字（比如2000的阶乘）。

还要考虑输入反复进行的情况。比如购买机票有5个步骤（5个页面），位于任何一个页面时，都可以回退到之前的任何页面修改任何信息，可以反反复复。

7、软件状态

软件中所有变量的值构成了软件的状态。任何一个输入都有可能改变软件的状态。不同的变量的值组合出不同的软件状态。大型程序中可能有几十万个变量。可以组合出的状态是天文数字。不同的状态下软件处理相同的输入可能表现不同。

说明：我这里的输入是广义的说法。包括明确的用户输入、环境因素（其它设备、操作系统、浏览器、配置等）、外部事件（收到数据报文、协议报文、接口up/down等）、还有内部事件（比如定时器超时，线程间切换等）。

8、外部环境/应用场景