用例设计之功能图法

十二功能图方法

12-1功能图

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

12-2方法简介

   简言之，每个程序的功能通常由静态说明和动态说明组成，静态说明描述了输入条件和输出条件之间的对应关系，而动态说明描述了输入数据的次序或者转移的次序。功能图法就是为了解决动态说明问题的一种测试用例的设计方法。功能图由状态迁移图和逻辑功能模型构成。

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

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

（功能图方法中，要用到逻辑覆盖和路径测试的概念和方法，其属白盒测试方法中的内容。逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计方法。该方法要求测试人员对程序的逻辑结构有清楚的了解。由于覆盖测试的目标不同，逻辑覆盖可分为：语句覆盖，判定覆盖，判定-条件覆盖，条件覆盖，条件组合覆盖及路径覆盖。下面我们指的逻辑覆盖和路径是功能或系统水平上的，以区别于白盒测试中的程序内部的）。

12-3测试用例生成方法

A．             从功能逻辑模型（决策表和因果图）导出局部测试用例，即设计测试用例覆盖某个状态的各个输入数据的组合

B．从状态迁移图导出整体的测试用例，以覆盖系统（程序）控制的逻辑路径

12-4测试用例生成过程

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

² 测试路径生成:利用上面的规则（三种）生成从初始状态到最后状态的测试路径

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

² 测试用例的合成算法:采用条件构造树

12-5举例

待补充