白盒测试（White-box Testing）

软件测试主要分为两种，一种是黑盒测试，另一种则是白盒测试，下面对白盒测试展开介绍：

1. 白盒测试的概念：

　　白盒测试又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子内部的东西以及里面是如何运作的。"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。

---

 2. 测试方法与覆盖标准：

　　白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。

　　白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。

---

3. 实施步骤：

　　1）测试计划阶段：根据需求说明书，制定测试进度。

　　2）测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。

　　3）测试执行阶段：输入测试用例，得到测试结果。

　　4）测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。

---

4. 基本路径测试法：

　　白盒测试的测试方法中运用最为广泛的是基本路径测试法。

　　基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。

　　在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下四个步骤和一个工具方法：

　　四个步骤：1）画出控制流图；2）计算圈复杂度；3）导出测试用例；4）准备测试用例

　　工具方法：

---

5. 逻辑覆盖标准：

　　从覆盖源程序语句的详尽程度分析，逻辑覆盖标准包括以下不同的覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和修正条件判定覆盖。

　　1）语句覆盖SC（Statement Coverage）：就是设计若干个测试用例，运行被测程序，使得程序中每一可执行语句至少执行一次。这里的“若干个”，意味着使用测试用例越少越好。语句覆盖在测试中主要发现缺陷或错误语句。

　　2）判定覆盖DC（Decision Coverage）：有时也称分支覆盖，就是指设计若干测试用例，运行被测程序，使得每个判定的取真分支和取假分支至少评价一次。

　　3）条件覆盖CC（Condition Coverage）：设计足够多的测试用例，运行被测程序，使得每一判定语句中每个逻辑条件的可能取值至少满足一次。

　　4）判定条件覆盖CDC（Condition/ Decision Coverage）：设计足够多的测试用例，使得判定中的每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果也至少出现一次。

　　5）条件组合覆盖MCC（Multiple Condition Coverage）：也称多条件覆盖，设计足够多的测试用例，使得每个判定中条件的各种可能组合都至少出现一次（以数轴形式划分区域，提取交集，建立最少的测试用例）。

　　6）修正条件判定覆盖：每一个程序模块的入口和出口点都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值要至少转换一次；程序的判定被分解为通过逻辑操作符（and，or）连接的bool条件，每个条件对于判定的结果值是独立的。

　　不同的测试工具对于代码的覆盖能力也是不同的，通常能够支持修正条件判定覆盖的测试工具价格是极其昂贵的。