7．功能图法

　　（1） 程序功能说明的组成

　　● 动态说明：描述输入数据的次序或转移次序

　　● 静态说明：描述输入条件和输出条件之间的对应关系

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

　　（3） 功能图法概述

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

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

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

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

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

　　（4） 测试用例生成方法

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

　　（5） 测试用例生成规则

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

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

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

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

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

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

　　8．场景法

　　（1） 基本流和备选流

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

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

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

　　（2） 设计步骤

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

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

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

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

　　三． 黑盒测试用例设计方法的选择策略

　　1． 首先进行等价类划分，包括输入条件和输出条件的等价类划分，将无限测试变成有限测试，这是减少测试量和提高测试效率的最有效办法

　　2． 在任何情况下都必须使用边界值分析方法。此方法设计的测试用例发现程序错误的能力最强

　　3． 可以用错误和推测法追加一些测试用例

　　4． 对照程序的逻辑，检查已设计的测试用例的逻辑覆盖度，如果没有达到要求，应在补充

　　5． 如果程序的功能说明中含有输入条件的组合情况，一开始就可以使用因果图法和判定表驱动法

　　6． 对于参数配置类的软件，要用正交试验法选择较少的组合方式达到最佳效果

　　7． 功能图法也是很好的测试用例设计方法，我们可以通过不同时期条件的有效性设计不同的数据

　　8． 对于业务流清晰的系统，可以利用场景法贯空整个测试案例过程，在案例中综合使用各种方法

　　四． 测试用例的编写

　　1. 测试用例概述

　　（1） 定义

　　● 将测试行为具体量化的方法之一

　　● 设计一种情况，软件程序在这种情况下，必须能够正常运行并且达到程序所设计的执行结果

　　● 为达到最佳的测试效果或高效的揭露隐藏的错误而精心设计的少量测试数据，

　　● 一个好的测试用例是在于它能发现至今未发现的错误

　　（2） 优点：

　　● 在开始实施测试之前设计好测试用例，可以避免盲目测试并提高测试效率

　　● 测试用例的使用令软件测试的实施重点突出、目的明确

　　● 在软件版本更新后只需修正少部分的测试用例便可展开测试工作，降低工作强度，缩短项目周期

　　● 功能模块的通用化和复用化使软件易于开发，而测试用例的通用化和复用化使软件测试易于开展，并随着测试用例的不断精化其效率也不断攀升