对小的程序进行穷举测试是可能的，用穷举测试能否保证程序是百分之百正确呢？

正确答案: 对小程序进行穷举测试，不见得能保证程序百分之百正确。所谓穷举测试是拿所有可能的输入数据来作为测试用例（黑盒测试），或覆盖程序中所有可能的路径（白盒测试）。对于小程序来说，实际上并不能真正作到穷举测试。例如前面讲过，一个小程序P只有两个输入X和Y及输出Z，在字长为32位的计算机上运行。如果X、Y只取整数，考虑把所有的X、Y值都做为测试数据，按黑盒方法进行穷举测试，这样做可能采用的测试数据组（Xi，Yi），基数（radix）i的最大可能数目为：232×232＝264。如果程序P测试一组X、Y数据需要1毫秒，而且假定一天工作24小时，一年工作365天，要完成264组测试，需要5亿年。