1.2.2 软件测试的经济学 白盒测试

1. 白盒测试也称为逻辑驱动测试，允许我们检查程序的内部结构;  
2. 穷举路径测试法：即如果使用测试用例执行了程序中所有可能的控制流路径，那么程序有可能得到了完全测试； 
3. 穷举法路径测试法存在的问题：
    (1) 首先，程序中不同逻辑路径的数量可能达到天文数字；
    (2) 虽然我们可以测试到程序中所有的路径，但是程序可能任然存在错误：

        1)即使是穷举路径测试也绝不能保证程序符合其设计规范(比如升序要求程序实际执行降序);

        2)程序可能会因为缺少某些路径而存在问题；

        3)穷举路径测试可能不会暴露数据敏感错误(例如 a-b < c,取决于a,b的取值)，而仅仅执行程序中的每条路径
          不一定能找出错误来；