以下关于白盒测试方法叙述中，错误是（）。
白盒测试也称为结构测试，主要用于软件单元测试阶段，测试人员按照程序内部逻辑结构设计测试用例，检测程序中主要执行通路是否都能按预定要求正确工作。白盒测试方法主要有控制流测试、数据流测试和程序变异测试等。控制流测试根据程序内部逻辑结构设计测试用例，常用技术是逻辑覆盖。主要覆盖标准有语句覆盖、判定覆盖、条件覆盖、条件/判定覆盖、条件组合覆盖、修正条件/判定覆盖和路径覆盖等。语句覆盖是指选择足够多测试用例，使得运行这些测试用例时，被测程序每个语句至少执行一次。判定覆盖也称为分支覆盖，它是指不仅每个语句至少执行一次，而且每个判定每种可能结果(分支)都至少执行一次。条件覆盖是指不仅每个语句至少执行一次，而且使判定表达式中每个条件都取得各种可能结果。条件/判定覆盖同时满足判定覆盖和条件覆盖。它含义是选取足够测试用例，使得判定表达式中每个条件所有可能结果至少出现一次，而且每个判定本身所有可能结果也至少出现一次。条件组合覆盖是指选取足够测试用例，使得每个判定表达式中条件结果所有可能组合至少出现一次。修正条件/判定覆盖。需要足够测试用例来确定各个条件能够影响到包含判定结果。路径覆盖是指选取足够测试用例，使得程序每条可能执行到路径都至少经过一次(如果程序中有环路，则要求每条环路路径至少经过一次)。
