白盒测试方法

白盒测试方法

一、概述

白盒测试法检查程序内部逻辑结构，对所有逻辑路径进行测试，是一种穷举路径的测试方法。但即使每条路径都测试过了，仍然可能存在错误。因为：

穷举路径测试无法检查出程序本身是否违反了设计规范，即程序是否是一个错误的程序。

穷举路径测试不可能查出程序因为遗漏路径而出错。

穷举路径测试发现不了一些与数据相关的错误。

二、方法

白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有

逻辑覆盖：以程序的内部逻辑结构为基础，分为语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖等。

基本路径测试：在程序控制流程的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。

逻辑覆盖 vs. 路径覆盖：

逻辑覆盖：以程序或系统的内部逻辑结构为基础，分为语句覆盖、判定覆盖、判定-条件覆盖、条件组合覆盖等。

基本路径测试：在程序或业务控制流程的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。