白盒测试用例是 用于检查软件内部逻辑结构的测试用例。在白盒测试中，测试者需要了解程序的内部结构，并根据程序的逻辑结构来设计测试用例，以确保程序中的每个逻辑路径都至少被执行一次。白盒测试的测试方法包括代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异等。
逻辑覆盖是白盒测试中常用的一种方法，它根据测试的有效程度划分为六种类型，由弱到强分别为：
语句覆盖：
程序中的每条语句至少执行一次。
判定覆盖 （也叫分支覆盖）：程序中的每个判定至少都获得一次“真”值和“假”值，使得程序中的每个取“真”分支和取“假”分支至少均经历一次。条件覆盖：
程序中的每个判定的每个条件应取到各种可能的值。
判定-条件覆盖（也叫条件-分支覆盖）：同时满足判定覆盖和条件覆盖。
条件组合覆盖：
每个判定中各条件的每一种组合至少出现一次。
路径覆盖：
使程序中每一条可能的路径至少执行一次。
基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。
在设计白盒测试用例时，测试者需要根据程序的逻辑结构，选择合适的覆盖标准来设计测试用例，以确保程序的所有逻辑路径都被测试到，从而发现潜在的逻辑错误和漏洞，提高软件的稳定性和可靠性。