白盒测试用例设计_总结

白盒测试

也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。

这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。

常用的软件测试方法有两大类：静态测试方法和动态测试方法。
静态测试：不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；
动态测试：通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。

白盒测试的测试方法

1、代码检查法
2、静态结构分析法
3、静态质量度量法
4、逻辑覆盖法
5、基本路径测试法
6、域测试

域测试是一种基于程序结构的测试方法，基于对程序输入空间（域）的分析，选择测试点进行测试。

域测试主要测试如下错误：
1）域错误：程序的控制流存在错误，对于某一特定的输入可能执行的是一条错误路径，这种错误称为路径错误&#