测试用例的设计
    一般而言，在所有的方法中效率最低的是随机输入测试，即在所有可能的输入值中随机选取某个子集来对程序进行测试的过程。
    白盒测试的方法：
    1）语句覆盖，较弱的准则，将程序中的每条语句至少执行一次；
    2）判定覆盖，较强的逻辑覆盖准则，必需编写足够的测试用例，使得每个判断都至少有一个为真和为假的输出结果。也就是说每条分支路劲都必 须至少遍历一次；
    3）条件覆盖比判定覆盖更强的准则，条件覆盖要编写足够的测试用例以确保将一个判断中的每个条件的所有可能的结果至少执行一次；
    4）判定/条件覆盖，设计出充足的测试用例，将一个判断中的每个条件的所有可能的结果至少执行一次，将每个判断的所有可能的结果至少执行一次，将每个入口点都至少调用一次；
    5）多重条件覆盖，要求编写足够多的测试用例，将每个判定中的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。
    黑盒测试的方法：
    1）等价类划分，确定等价类，生成测试用例；
    2）边界值分析，指输入和输出等价类中的那些恰好处于边界、或超越边界、或在边界以下的状态；
    3）因果图分析，是一种形式语言，用自然语言描述的规格说明可以转换为因果图。因果图实际上是一种数字逻辑电路（一个组合的逻辑网络）；
    4）错误猜想，利用直觉和经验猜测出错的可能类型，然后编写测试用例来暴露这些错误。