白盒测试的基本方法是什么？

白盒测试是针对软件内部结构的测试，主要是用覆盖的方式对程序代码进行测试。典型的覆盖方法包括：1)语句覆盖：选择足够多的测试数据，使得被测程序中的每个语句至少执行一次；2)判定覆盖：不仅每个语句必须至少执行一次，而且每个判定的每种可能的结果都应该至少执行一次；3)条件覆盖：不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果；4)判定/条件覆盖：选取足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果；5)条件组合覆盖：选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次；6)路径覆盖：要求选取足够多的测试数据，覆盖序中所有可能的路径。