总结 ：
上点肯定是边界
离点在闭区间外部，开区间内部（闭外开内）
6.3 判定表
目的：测试多个条件的组合
特点：
如果条件是并列关系：笛卡尔积【全排列组合】（1 个条件、2 个条件组合、3 个、4 个）
如果条件有逻辑顺序：考虑组合的合并问题
合并的风险：
如果被合并的多个组合，处理方式不同，不应该合并
生成测试用例：
原则：每个组合（列）生成一个用例
优点：充分（包括了所有的组合）
缺点：条件数多，组合的数量多（成本高）（<=5）
有效组合用例共：8 个
6.4 正交试验
目的：给判定表去重
特点：两两组合（充分——没有重复、没有遗漏）
优点：相对于判定表，组合数量大大减少
缺点：风险：只考虑了两两组合
经验：如果任何两个值的组合不出问题，那么任何多个值的组合出问题的可能性小
Allpairs 工具
在 cmd 中输入命令： allpairs.exe test.txt > ta.txt
6.5 流程分析
方法：绘制业务（程序）的流程图，以“逻辑覆盖率”的方式设计测试用例。
6.6 状态迁移
6.6.1 例题：网上购物
状态：提交、确认、待付款、已发货、已取消
方法：1、列出所有的“状态”；
2、画出所有状态之间的“转换”关系
3、遍历所有“路径”，每个路径对应一个用例
6.7 等价类边界值练习
6.7.1 163 注册输入用户名
1. 测试需求分析
内容：字母、数字、下划线
长度：[6,16]
约束：字母开头
不能下划线结尾
2. 等价类划分
3. 设计用例
原则：有效等价类：用一个输入尽可能多的覆盖【1 对多】
无效等价类：用一个输入只覆盖 1 个无效等价类【1 对 1】