黑匣子测试用例设计方法：
1 .等价类划分
2 .边界值分析
3 .错误猜测法
4 .因果图
一.等价类别划分
定义：等价类分割设计方法将所有可能的输入数据，也就是程序的输入域分割为几个部分(子集)，从各个子集中少量地选择代表性的数据作为测试用例。
等价类别可合理地假设，测试一个等价类别的代表值与对其他这些值的测试相同。
确定等价类的原则：
如果输入条件规定了取值范围，或者规定了值的个数，则可以建立一个有效等价类和两个无效等价类。
例如，序列号的值从1到999。
一个有效等价类别：1=序号值=999
两个无效等价类：序号值1，序号值999
如果输入条件规定了输入值的集合，或者规定了“必须怎么办”的条件，则可以建立有效的等价类和无效的等价类。
例如，在c语言中，变量标识符被规定为“以字母开头的东西”。
所有字母开头结构有效的等价类
此集合中不存在的内容是无效的等价类
输入条件为布尔值时，建立有效等价类和无效等价类
例如，0和1，是或否
如果输入数据是一组值，并且程序规定对每个输入值单独处理，则可以为每个输入值建立有效的等价类型，并为这一组值建立无效的等价类型。 这必须是所有不能输入的值的集合。
例如，规定对教授、副教授、讲师、助教分别计算分数并进行处理的教师分室方案。
四个有效的等价类为教授、副教授、讲师、副教授
无效等价类，即与上述四个不一致的所有集合
如果确定了输入数据必须遵守的规则，就可以建立一个有效的等价类(适合的)和几个无效的等价类(以不同角度违反规则的)。
例如，在c语言中，“一个句子是分号‘； 必须"结束了"。
一个有效等价类： "； ’结束了
几种无效的等价类： "； 以、”等符号结束
如果确定分类的等价类的每个元素在程序中的处理方式不同，则需要将该等价类分类为更小的等价类。
每个无效的等价类必须至少使用一个测试用例。 否则，可能会忽略某些错误，但通过允许多个有效等价类同时使用同一测试用例，可以进一步减少测试次数。
确立测试用例原则：
为每个等价类指定唯一的编号。
设计新的测试用例，尽可能覆盖尚未覆盖的有效等价类，并重复，直到覆盖所有有效等价类。
设计新的测试用例，使其只覆盖尚未覆盖的无效等价类，并重复，直到覆盖所有无效等价类。
二.边界值分析
采用边界值分析法选择测试用例，北侧程序可以在边界值及其附近运行，可以更有效地暴露程序中潜在的错误。
要使用边界值分析法设计测试用例，必须首先确定边界情况。 通常，输入和输出等价类的边界是应该侧重于测试的边界情况。 然后，必须选择正好相等、正好大于或小于边界的值作为测试数据，而不是等价类的典型值或任意值。
基于边界值分析法选择测试用例原则：
输入条件中规定了值的范围的情况下，将刚到达该范围的边界值和刚超过该范围的边界的值作为测试输入的数据。
在输入条件中规定了值的个数的情况下，将最大个数、最小个数、比最小个数少1、比最大个数多的数作为测试输入的数据。
如果程序规范说明中指定的输入字段或输出字段是规则集合，则必须选择集合中的第一个元素和最后一个元素作为测试用例数据。
如果程序使用内部数据结构，则必须选择内部数据结构边界上的值作为测试用例。
三.错误猜测法
错误推测法是根据经验和直觉推测程序中可能存在的各种错误，根据目的设计测试用例的方法。
四.因果图法
因果图是适合于对多个条件的组合描述相应多个动作的形式的测试用例设计方法。
使用因果图生成测试用例的基本步骤：
分析软件规格，在说明中说明哪个原因，哪个结果，并为每个原因和结果提供标识符。
分析软件规格说明中描述的语言，找出原因与结果之间、原因与原因之间的关系，并根据这些关系绘制因果关系图。
在因果图上用几个符号表示约束或限制。
将因果图转换为判定表。
取出判定表的各列作为数据，设计测试用例。
因果图法适用于被测程序具有多个输入条件，程序的输出依赖于输入条件的各种组合的情况。 因果图是直观地表示程序输入条件和输出动作的相互关系的简化逻辑图。
例：第1列的文字必须是a或b，第2列的文字必须是数字。 在这种情况下，进行文件修正，但在第1列的字符不正确的情况下，给出信息l； 在第2列的文字不是数字的情况下，给出信息m。
解开：
画因果关系表和因果关系图。
因果图
根据因果图制作判定表。
根据条件的各种组合情况进行应对
的动作。原因1和原因2不能同时成立，故可排除这种情况。从判定表可设计出测试用例：6个测试用例是所需的数据。
判定表
五、测试方法的选择
在任何情况下都应该使用边界值分析方法
必要时用等价类划分法补充测试方法
必要时再用错误推测法补充测试方法
对照程序逻辑，检查已经设计出的测试方案