等价类划分法：
满足要求：有效等价类
不满足要求的：无效等价类
案例：
需求：输入账号，账号未11位纯数字并以1开头。
有效等价类：123455678901
无效等价类：23456789011（以2开头）
1234567890（11位数字）
123456789011（12位数字）
1234567890a（包含字母）
1234567890！（包含特殊字符）
123456789 0（包含空格）
边界值（对等价类划分法的补充）:
上点：边界上的点
内点：边界内的点
离点：离边界最近的左右两点
例子1：
1-100的数字（1~100）
上点为：1，100
内点为：50
离点为：-1，2，99，101
例子2：
大于1，小于等于100的数字（2~100）
上点为：2，100
内点为：50
离点为：1，3，99，100
解释：因为上点为边界上的点，所有大于1小于等于100即相当与2~100
所以上点为2，100
案例：
需求：输入账号6~10位的自然数。
有效等价类：输入6位自然数
输入7位自然数
输入8位自然数
输入9位自然数
输入10位自然数
无效等价类：输入5位自然数
输入11位自然数
优化用例可删除输入7位自然数，输入9位自然数这2条用例
判定表法：
存在多个输入条件，多个输出结果，输入和输入直接有组合关系，输入和输出之间有依赖或制约关系。
判断表的组成：
条件桩：输入条件，如欠费状态，关机状态
表示方式：
字符：
真：Y
假：N
数字：
真：1
假：0
动作桩：所有的输出结果，比如允许电话打通，不允许电话打通
条件项：单个条件的取值范围，一般都是有效等价类和无效等价类，比如欠费（无效），不欠费（有效）
动作项：基于每一中条件的组合，得到确认结果，比如欠费和关机组合的结果：不允许电话打通就是动作项
判定表示例：
判断表法用例设计步骤：
1.明确条件桩（找到所有的输入条件）
2.明确动作桩（找到所有的输出结果）
3.对条件项进行全组合
4.明确每个组合对应的动作桩（基于每一种条件的组合情况，确定本组合下单输出结果）
5.每一行数据对应一条用例
正交法
allpairs工具的使用
在xlsn内进行编辑比如：
注意：第一列为条件桩，后面几列为条件项，然后复制并在allpairs文件夹内创建test.txt，然后打开test.txt并把刚刚复制的内容粘贴并保存，打开cmd,进入allpairs文件夹内，执行命令allpairs.exe test.txt >test2.txt，此时用例会自动生成并保存在test2.txt文件内。