这个博文是为了复习自己之前学习的内容，所以详简不一。
一、白盒测试
一般称为结构测试
1.静态：代码检查法，静态结构分析法
2.动态 ：逻辑覆盖，基本路径推测法
（1）逻辑覆盖分为六大类（由弱到强排序）：语句覆盖、分支（判定）覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、路径覆盖
（2）基本路径推测
a.先画出程序流图
b. 计算圈复杂度
圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。
独立路径必须包含一条在定义之前不曾用到的边。
有以下三种方法计算圈复杂度：
流图中区域的数量对应于环型的复杂性;
给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;
给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。（4、6、8）
请计算本程序的圈复杂度：
1） V(G)=E-N+2=10条边-8个节点+2=4
2）V(G)=P+1=3个判定节点+1=4
c.分析出独立路径
每条独立路径是指，和其他的独立路径相比，至少引入一个新处理语句或一个新判断的程序通路。
V(G)值正好等于该程序的独立路径的条数。
程序的独立路径是：
? 路径1：4-14 ? 路径2：4-6-7-14 ? 路径3：4-6-8-10-13-4-14 路径4：4-6-8-11-13-4-14
d.准备测试用例
根据上面的独立路径，去设计输入数据，使程序分别执行到上面四条路径。(用例至少包括输入数据和预期结果)
二、黑盒测试
一般称为功能测试，主要方法是 等价划分、边界值分析、错误推测、场景法、决策表、因果图等等，等下重点讲前两种。
但是黑盒也有针对非功能测试的，比如安全测试、性能测试和安装测试。
1.等价划分
（1）定义：
把所有可能输入的数据，即程序的输入域划分策划国内若干部分（子集），然后从每一个子集中选取少数具有代表性的数据作为测试用例。方法是一种重要的、常用的黑盒测试用例设计方法。
1）有效等价类
是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明所规定的功能和性能。
2）无效等价类
指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能多个。
（2）划分等价类的标准
1) 完备测试、避免冗余
2) 划分等价类重要的是：集合的划分、划分为互不相交的一组子集，而子集的并是整个集合
3) 并是整个集合：备性
4) 子集互不相交：保证一种形式的无冗余性
5) 同一类中标识（选择）一个测试用例，同一等价类中，往往处理相同，相同处理映射到“相同的执行路径”。
（3）设计测试用例
在确立了等价类后，可建立等价类表，列出所有划分出的等价类输入条件：有效等价类、无效等价类，然后从划分出的等价类中按以下三个原则设计测试用例：
1）为每一个等价类规定一个唯一的编号；
2）设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖地有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；
3）设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止
总的来说 就分为有效输入、无效输入、有效输出、无效输出的四种等价情况。
（4）实例
三角形：
日期:
2.边界值法
（1）定义：边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。
通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界。
(2）.与等价划分的区别
1)边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。
2)边界值分析不仅考虑输入条件，还要考虑输出空间产生的测试情况。
(3)常见的边界值
1)对16-bit 的整数而言 32767 和 -32768 是边界
2)屏幕上光标在最左上、最右下位置
3)报表的第一行和最后一行
4)数组元素的第一个和最后一个
5)循环的第 0 次、第 1 次和倒数第 2 次、最后一次
特点：
选稍大于 或者稍小于边界值
通常情况下，软件测试所包含的边界检验有几种类型：数字、字符、位置、重量、大小、速度、方位、尺寸、空间等。
相应地，以上类型的边界值应该在：最大/最小、首位/末位、上/下、最快/最慢、最高/最低、 最短/最长、 空/满等情况下。
（4）内部边界值分析：
在多数情况下，边界值条件是基于应用程序的功能设计而需要考虑的因素，可以从软件的规格说明或常识中得到，也是最终用户可以很容易发现问题的。
然而，在测试用例设计过程中，某些边界值条件是不需要呈现给用户的，或者说用户是很难注意到的，但同时确实属于检验范畴内的边界条件，称为内部边界值条件或子边界值条件。
内部边界值条件主要有下面几种：
a)数值的边界值检验：计算机是基于二进制进行工作的，因此，软件的任何数值运算都有一定的范围限制。
b)字符的边界值检验：在计算机软件中，字符也是很重要的表示元素，其中ASCII和Unicode是常见的编码方式。下表中列出了一些常用字符对应的ASCII码值。
（5）实例
三角形补充： 1000 1000 1 是否为等腰三角形？等等