软件测试--（3）白盒 测试

语句覆盖

编写足够多的测试用例，使得每条语句都能至少被执行一次。是一种比较弱的测试标准，检测不充分。

判定覆盖(或分支测试)

编写足够多的测试，使得每个判断都有真和假的，从而使每个分支都至少被执行一次。不充分的检测，部分条件得不到验证。

条件覆盖

编写足够多的测试，使得判断中每个条件都有真和假的取值。不充分的检测，可能无法覆盖所有路径。

判定/条件覆盖测试：综合判定覆盖和条件覆盖，将判断中每个条件的所有可能都至少执行一次，并将判断的所有可能也至少执行一次，将每个入口点都至少调用一次。不充分测试（？）

多重条件覆盖

将判断中所有可能的条件结果的组合，以及所有的入口点都至少执行一次。

小结

满足多重条件的测试用例集同样满足判定覆盖准则、条件覆盖准则以及判定/条件覆盖准则。

对于包含每个判断只有一个条件的程序，测试用例包括：1.将每个判断的所有结果都至少执行一次；2.将所有的程序入口都至少调用一次，以确保全部的语句都至少执行一次。对于包含多重条件判断的程序，测试用例需要包含所有可能的条件结果的组合，以及所有的入口点都执行一次。