（2）边界值的选择方法（遵循原则）

序号	输入条件（数据）	输入边界值数据
1	规定了取值范围	刚刚达到这个范围 刚刚超越这个范围
2	规定值的个数	最大个数、比最大个数大1 最小个数、比最小个数少1
3	根据规格说明书的每个输出条件，使用 原则1、2
4	输入或输出是个有序集合	集合的第一个、最后一个元素
5	程序中使用一个内部数据结构	内部数据结构边界上的值
6	分析规格说明，找出其他可能的边界

 3．错误推测法:基本思想：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例

4．因果图法:侧重于输入条件的各种组合，各个输入情况之间的相互制约关系

（1）       因果图设计方法：从用自然语言书写的程序规格说明的描述中找出因果，通过因果图转换成判定表

（2）       因果图导出测试用例步骤

第一步：分析程序规格说明的描述中，哪些是原因，哪些是结果。原在因常常是输入条件或是输入条件的等价类，结果是输出条件

第二步：分析程序规格说明的描述中语义的内容，并将其表示成连接各个原因与各个结果的‘因果图’

第三步：标明约束条件。第四步：把因果图转换成判定表。第五步：为判定表中每一列表示的情况设计测试用例

（3）       因果图基本图形符号

通常在因果图中，用Ci 表示原因，Ei表示结果，各结点表示状态，可取值0（状态不出现） 或1（某状态出现）

l           恒等：若原因出现，则结果出现；若原因不出现，则结果不出现

l           非（～）：若原因出现，则结果不出现；若原因不出现，则结果出现

l           或（V）：若几个原因中有一个出现，则结果出现；若几个原因都不出现，则结果不出现；

l           与（∧）：若几个原因都出现，结果才出现；若其中有一个原因不出现，则结果不出现

（4）       因果图的约束符号

从输入（原因）考虑四种约束

l           E（互斥）：表示两个原因不会同时成立，两个中最多有一个可能成立

l           I（包含）：表示三个原因中至少有一个必须成立

l           O（惟一）：表示两个原因中必须有一个，且仅有一个成立

l           R（要求）：表示两个原因，a出现时，b也必须出现，a出现时，b不可能不出现

从输出（结果）考虑一种约束：M（屏蔽）：两个结果，a为1时，b必须是0，当a为0时，b值不定

5．判定表驱动法

（1）       判定表：是分析和表达多逻辑条件下执行不同操作的情况的工具

（2）       判定表组成

l          条件桩：列出了问题的所有条件

l          动作桩：列出了问题规定可能采取的操作

l          条件项：列出针对它所列条件的取值，在所有可能情况下的真假值

l          动作项：列出在条件项的各种取值情况下应该采取的动作

l          规则：任何一个条件组合的特定取值及其相应要执行的操作。  注：判定表中贯穿条件项和动作项的一列就是一条规则；

（3）       判定表的建立（步骤）

l          第一步：确定规则的个数。假如有n个条件，每个条件有两个取值（0,1），故有2n种规则

l          第二步：列出所有的条件桩和动作桩

l          第三步：填入条件项

l          第四步：填入动作项。制定初始判定表

l          第五步：简化。合并相似规则或者相同动作

（4）       适合使用判定表设计测试用例的条件

l          规格说明以判定表的形式给出，或很容易转换成判定表

l          条件的排列顺序不影响执行哪些操作

l          规则的排列顺序不影响执行哪些操作

l          当某一规则的条件已经满足，并确定要执行的操作后，不必检验别的规则

l          如果某一规则要执行多个操作，这些操作的执行顺序无关紧要

6．正交试验法

（1）       概述

l          从大量的试验数据中挑选适量的、有代表性的点，从而合理地安排测试的一种科学的试验设计方法

l          使用已造好的表格“－”正交表来安排试验并进行数据分析的一种方法

l          因子：影响实现指标的条件

l          因子的状态：影响实现因子的条件

（2）       优点：节省测试工时、可控制生成的测试用例的数量、测试用例具有一定的覆盖率

（3）       设计步骤

l          提取功能说明，构造因子‘－’状态表。

l          加权筛选，生成因素分析表；

l          利用正交表构造测试数据集，正交表的推导依据Galois理论

L：代表正交表，L₈（2⁷）代表7为因子数，2为因子的水平数，8为此表行的数目（试验次数）

行数为mn型的正交表中，试验次数（行数）＝∑（每列水平数－1）＋1

例：5个3水平因子及一个2水平因子，表示为3⁵*2¹，试验次数＝5*(3-1)+1*(2-1)+1＝12，  即L₁₂（3⁵*2）

7．功能图法

（1）       程序功能说明的有两种组成：   动态说明：描述输入数据的次序或转移次序；静态说明：描述输入条件和输出条件之间的对应关系

（2）       功能图：由状态迁移图和布尔函数组成，状态迁移图用状态和迁移来表示。一个状态指出数据输入的位置（或时间），一个迁移指明状态的改变，同时要依靠判定表或因果图表示的逻辑功能

（3）       功能图法概述

l          用功能图形象地表示程序的功能说明，并机械地生成功能图的测试用例

l          功能图模型由状态迁移图和逻辑功能模型构成

v                   状态迁移图：用于表示输入数据序列以及相应的输出数据；由输入数据和当前状态决定输出数据和后续状态

v                   逻辑功能模型：用于表示在状态中输入条件和输出条件的对应关系。由输入数据决定输出数据。此模型只适用于描述静态说明

l          功能图测试用例由测试中经过的一系列状态和在每个状态中必须依靠输入/输出数据满中的一对条件组成

（4）       测试用例生成方法：从状态迁移图中选取测试用例，用节点代替状态，用弧线代替迁移，状态图就可转化成一个程序的控制流程图形式

（5）       测试用例生成规则

为了把状态迁移（测试路径）的测试用例与逻辑模型（局部测试用例）的测试用例组合起来，从功能图生成实用的测试用例，在一个结构化的状态迁移（SST）中，定义3种形式的循环：顺序，选择和重复

（6）       功能图生成测试用例步骤

l          生成局部测试用例：在每个状态中，从因果图生成局部测试用例。局部测试用例由原因值（输入数据）组合与对应的结果值（输出数据或状态）构成

l          测试路径生成：利用上面的规则生成从初始状态到最后状态的测试路径

l          测试用例合成：合成测试路径与功能图中每个状态的局部测试用例。结果是初始状态到最后状态的一个状态序列，以及每个状态中输入数据与对应输出数据的组合。

l          测试用例的合成算法：采用条件构造树

8．场景法

（1）       基本流和备选流：采用此方法进行设计时，需要进行场景的设计，在场景中采用基本流和备选流表示经过用例的每条路径

l          基本流：采用直黑线表示，是经过用例的最简单的路径（无任何差错，程序从开始直接执行到结束）

l          备选流：采用不同颜色表示，一个备选流可能从基本流开始，在某个特定条件下执行，然后重新加入基本流中，也可以起源于另一个备选流，或终止用例，不在加入到基本流中；（各种错误情况）

（2）       设计步骤

l          根据说明，描述出程序的基本流及各项备选流

l          根据基本流和各项备选流生成不同的场景

l          对每一个场景生成相应的测试用例

l          对生成的所有测试用例重新复审，去掉多余的测试用例，测试用例确定后，对每一个测试用例确定测试数据值