1.边界值测试
经实践总结：大量的软件缺陷发生在输入域和输出域的边界上。所以在设计测试用例的时候，应该重视边界。
2.等价类划分
要做到穷尽测试是不可能的，所以在设计测试用例时往往要先划分等价类再选取“人大代表”。
划分的子集应该满足如下因素：
（1）每个子集内部所有的数据都是等价的
（2）子集之间互不相交
（3）所有子集的并集是整个输入域或输出域
PS:
（1）【有效等价类】是相对于规格说明合理的、正确的、有意义的输入数据构成的集合。
（2）【无效等价类】是相对于规格说明不合理的、错误的、无意义的输入数据构成的集合。
3.因果图
前面介绍的等价类划分方法和边界值分析方法,都是着重考虑输入条件,但未考虑输入条件之间的联系, 相互组合等. 考虑输入条件之间的相互组合,可能会产生一些新的情况. 但要检查输入条件的组合不是一件容易的事情, 即使把所有输入条件划分成等价类,他们之间的组合情况也相当多. 因此必须考虑采用一种适合于描述对于多种条件的组合,相应产生多个动作的形式来考虑设计测试用例. 这就需要利用因果图（逻辑模型）. 因果图方法最终生成的就是判定表. 它适合于检查程序输入条件的各种组合情况.
4.错误推测法
基于经验和直觉推测程序中所有可能存在的各种错误, 从而有针对性的设计测试用例的方法.
错误推测方法的基本思想: 列举出程序中所有可能有的错误和容易发生错误的特殊情况,根据他们选择测试用例.
