简述白盒测试用例的设计方法，并进行分析总结。

白盒测试用例设计方法主要有逻辑覆盖和独立路径测试。
从覆盖源程序语句的详尽程度分析，逻辑覆盖主要有以下不同的覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。实际项目中，由于程序内部的逻辑存在不确定性和无穷性，尤其对于大规模复杂软件，不必采用所有的覆盖指标，而应根据实际情况选择合适的覆盖指标。
独立路径测试是在程序控制流图的基础上，通过分析控制结构的环路复杂性，导出可执行的独立路径集合，从而设计出相应的测试用例。设计出的测试用例要保证被测程序的每条可执行的独立路径至少被执行一次。独立路径测试给出了满足路径覆盖指标所需测试用例的下限，同时给出了语句覆盖的上限，它可以确保对所有相互独立的决策结果进行测试。

略