将程序看做一个黑盒子，只知道输入输出，不知道内部代码，由此设计出测试用例，分为下面几类：
等价类划分：
把所有的数据按照某种特性进行归类，而后在每类的数据里选取一个即可。等价类测试用例的设计原则：设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。
边界值划分：将每类的边界值作为测试用例，边界值一般为范围的两端值以及在此范围之外的与此范围间隔最小的两个值，如年龄范围为0-150，边界值为0,150，-1,151四个。
错误推测：没有固定的方法，凭经验而言，来推测有可能产生问题的地方，作为测试用例进行测试。
因果图：由一个结果来反推原因的方法，具体结果具体分析，没有固定方法。
知道程序的代码逻辑，按照程序的代码语句，来设计覆盖代码分支的测试用例，
覆盖级别从低至高分为下面几种：
语句覆盖SC：逻辑代码中的所有语句都要被执行一遍，覆盖层级最低，因为执行了所有的语句，不代表执行了所有的条件判断。
判定覆盖DC：逻辑代码中的所有判断语句的条件的真假分支都要覆盖一次。
条件覆盖cc：针对每一个判断条件内的每一个独立条件都要执行一遍真和假。
条件判定组合覆盖 CDC：同时满足判定覆盖和条件覆盖。
路径覆盖：逻辑代码中的所有可行路径都覆盖了，覆盖层级最高。
