软件测试类型之逻辑划分

按逻辑划分
测试可以分为黑盒测试（Black-boxTesting）和白盒测试（White-box Testing）。
黑盒测试，单纯从用户角度来测试，不管软件内部逻辑（或者说，假定测试人员不了解内部逻辑），只根据产品说明，看特定的输入是否可以产生预期的输出。
白盒测试，按照代码内部实现逻辑来设计测试用例，力求全方面地测试业务代码的内部实现逻辑。相对于黑盒测试，白盒测试可以测试程序内部逻辑分支、追踪日志、查询数据库、获取消息队列等程序逻辑的运行状态。但是，不管是黑盒测试还是白盒测试，它们都有一定的局限性。对于黑盒测试，由于软件内部实现逻辑不可见，因此即使测试得到了预期的值，我们也不能确定其逻辑的正确性。
对于白盒测试来说，程序内部逻辑可见，可以设计测试用例，让每个逻辑分支都得到验证。但是，无法确认这些逻辑分支处理的是有意义的情况，无法确认这些逻辑的处理达到了设计预期，也无法确认是否有逻辑分支的缺失。软件工程实践鼓励测试工程师结合黑盒和白盒测试，从用户的角度去设计测试用例，用白盒测试辅助确认内部逻辑。