一、等价类划分法
- 有效等价类
- 无效等价类
- 例：学生的成绩: 无效等价类（-∞,0）和（100,+∞） 有效等价类[0,100]
二、边界值划分法
[如果输入条件设置了边界，取边界值和比边界值大一个的值和比边界值小一个的值]
例：重量在10-20斤 边界值是：9.99 10.01 19.99 20.01
三、错误推断法
根据经验，以及程序的处理逻辑做出可能发生的错误推断
四、判定表驱动法
[缺点：不能表示重复进行的动作]
【步骤】
1、列出所有条件桩（如果一个条件桩有2种结果，那么有几个条件桩，就有2的n次方种组合）
2、列出所有动作桩（根据条件桩的组合，列出动作桩的结果）
例：
题目：《订购单的检查》
若总额超过600元，且未过期，就发出采购单和提货单；若总额超过600元，但过期了，就不发采购单；若金额低于600元，
则不论是否过期都发出采购单和提货单，若过期的情况下还需要发出通知单。
分析：列出所有条件桩和动作桩
生成判定表：
简化合并判定表：
五、因果图法
- 因果图的关系：
CI——前因 EI——后果
1）C1发生，则E1一定发生 [恒等关系]
2）C1发生，则E1一定不会发生 [非]
3）C1 、C2、C3中只要有一个发生，则E1一定不会发生 [或]
4）C1 、C2、C3都发生，则E1发生，否则E1不发生 [且]
- 因果图的约束条件：
1）E互斥： a和b最多只能有一个发生，比如喝水 不喝水，至多有1个发生；
2）I包含： a、b 、c 中至少有一个发生；
3） O唯一： a和b中仅会有一个发生；
4）R要求：当a出现b也必须出现，同理，当b出现a也必须出现；
5）M屏蔽：a出现时，b必定不出现，a不出现时，b则不确定；
【例】因果图法设计测试用例举例：
有一个单价为五角钱的饮料自动售货机软件，对其采用因果图方法设计测试用例。需求如下：
1) 若售货机没有零钱找，则一个显示“零钱找完”的红灯亮，提示顾客在此情况下不要投入1元钱；否则此红灯不亮。
2) 顾客投入5角硬币，然后按下“橙汁”或“啤酒”按钮，则相应的饮料被送出。
3) 顾客投入1元硬币并按下“橙汁”或“啤酒”按钮后，若售货机没有零钱找，则显示“零钱找完”的红灯亮，1元硬币被退出，且无饮料送出；若有零钱找，则五角硬币被退出且饮料被送出。
【判定表】
【case】
以上，若有疑问，欢迎讨论，QQ群：744419090