软件测试之白盒测试

概念与定义

1. 白盒测试：侧重于系统或部件内部机制的测试，类型分为分支测试（判定节点测试）、路径测试、语句测试。

2. 控制流分析(基于程序结构)：控制流分析是一类用于分析程序控制流结构的静态分析技术，目的在于生成程序的控制流图，在编译器设计程序分析、程序理解等领域都有重要应用。

3. 逻辑覆盖测试(对判定的测试)的原理：以程序内部的逻辑结构为基础的用例设计方法，它通过对程序的逻辑结构的遍历，来实现测试对程序的覆盖。

4. 测试覆盖率：度量测试完整性的指标，是测试有效性的一个度量。

   覆盖率至少被执行一次的总数总数覆盖率至少被执行一次的总数总数覆盖率=至少被执行一次的item总数item总数

   测试覆盖率不需要100%，因为覆盖率越高，测试成本越高。

   通常可以设置一个覆盖率达标标准。

5. 语句覆盖：设计测试用例时应保证程序中每一条可执行语句至少应执行一次。（点覆盖）

6. 判定覆盖（分支覆盖）：设计测试用例时应保证程序中每个判定节点取得每种可能的结果至少一次。或者程序中每个判定的真分支和假分支至少执行一次。（边覆盖）

7. 条件覆盖：设计测试用例时应保证程序中每个复合判定表达式中，每个简单判定条件（子条件）的取真和取假情况至少执行一次。

8. 判定-条件覆盖：设计测试用例时应满足判定节点的取真、取假分支至少执行一次，且每个简单判定条件（子条件）的取真和取假情况也至少执行一次。即判定覆盖+条件覆盖。

9. 条件组合覆盖：条件组合覆盖，设计测试用例时应满足每个判定节点中，所有简单判定条件（子条件）的所有可能的取值组合情况至少执行一次。通过列出真值表的方式来得到完全的覆盖。

10. 路径覆盖：要求设计足够的测试用例，运行被测程序，覆盖程序中所有可能组合的路径。

11. 程序图：简化的程序流程图，不关注源代码细节，只关注程序的基本结构。

12. 环复杂度：用于描述程序结构复杂度的度量。

13. 基本路径测试：在程序的控制流图的基础上，通过分析控制流程的环路复杂性，导出独立可执行路径集合，从而设计测试用例的方法。

14. 静态白盒测试：又称为结构分析，是在不执行程序的条件下审查