总：黑盒测试主要包括：等价类划分、边界值分析
白盒测试主要包括：路径覆盖法、逻辑覆盖法等
1.黑盒测试
不考虑内部结构，在软件的接口处进行测试
核心技术：等价类划分、边界值分析。
等价类划分：
等价类：有集合S，R为S上的一种等价关系，则对于S中的任意元素x，称集合S’={ y| R(x,y) }为元素x的等价类。
例如：大学生的集合S，等价关系为同一个时代出生。那么对于90后的张三，其等价类为所有90后学生组成的集合。
基本过程
- 将所有可能的输入分为有效输入和无效输入两个集合，通过定义等价关系，细分成多个有效等价类和多个无效等价类；
- 若必要，也可以对输出进行等价类划分；
- 在各等价类中构造用例，最终形成测试用例集。
- 用例集必须覆盖全部有效等价类
- 每个无效等价类至少对应一个用例
- 为测试用例设计测试数据；
- 执行测试；
还有弱健壮、强健壮分类等。
边界值分析：
输入域、输出域的边界。
一般边界值分析过程：
选定问题域中的一个变化因子，让其余的变化因子取正常值，被选定的变化因子依次取min，min+，norm，max-和max；
对问题域中的每个变化因子重复①。
特点
检查有效域中的边界和一般情况
检查有效域中单因素的边界值影响
例子：
函数CheckTriangle(float a,float b,float c)
根据给出的3个数，判定是否能构成一个三角型，若能判定构成的是一个等边三角形、锐角等腰三角型、直角等腰三角型、钝角等腰三角形、一般锐角三角形、一般钝角三角形、还是一般直角三角型。
输入域分析
有3个因素构成，每个因素的范围为(-∞，+∞)
即使考虑到计算机精度，也难以确定min，max
针对输入域做边界值分析，意义不大
重点分析输出域
输出可为(共8种不同输出)：
非三角形
是三角形
锐角三角形(细分为等边，等腰，普通)
直角三角形(细分为等腰，普通)
钝角三角形(细分为等腰，普通)
可知：
输出是8个离散值：导致”突变”的多组输入数据
输出不是连续范围，但涵盖了整个输出空间
输出不是有序集合
2.白盒测试
路径覆盖法：
基本路径覆盖法过程：
- 确定图(流程图/状态图)
- 确定基本路径数目
- 构造基本路径集
- 为每条基本路径生成测试用例
还有全路径覆盖等。
逻辑覆盖法：
语句覆盖、判定覆盖(分支覆盖)、条件覆盖、判定/条件覆盖、多条件覆盖、增强的判定/条件覆盖、组合覆盖