功能图方法是一种黑盒、白盒混合用例设计方法，是功能图FD形式化地表示程序的功能说明，并机器地生成功能图的测试用例。功能图模型由状态迁移图和逻辑功能模型构成。
状态迁移图用于表示输入数据序列以及相应的输出数据。在状态迁移图中，由输入数据和当前状态决定输出数据和后续状态。
逻辑功能模型用于表示在状态输入条件和输出条件之间的对应关系。逻辑功能模型只适合于描述静态说明，输出数据仅由输入数据决定。测试用例则由测试中的一系列状态和在每个状态中必须依靠输入/输出数据满足的一对条件组成。
（1）功能图：功能图由状态迁移图和布尔函数组成。状态迁移图用状态和迁移来描述。一个状态指出数据输入的位置（或时间），而迁移则指明状态的改变，同时要依靠判定表或是因果图表示的逻辑功能。例如，一个简化的自动出纳ATM机的功能图。
（2）测试用例生成方法：从功能图生成测试用例，得到的测试用例数是可以接受的。问题的关键是如何从状态迁移图中选取测试用例。若用节点代替状态，用弧线代替迁移，则状态迁移图就可转化成一个程序的控制流程图形式。问题就转化为程序的路径测试问题了。
（3）测试用例生成规则： 为了把状态迁移的测试用例与逻辑模型的测试用例相组合起来，从功能图生成生成实用的测试用例，需定义下面的规则。在一个结构化的迁移（SST）中，定义三种形式的循环：顺序、选择和重复。但分辨一个状态迁移中的所有循环是有困难的。
（4）从功能图生成测试用例的过程。
A、生成局部测试用例：在每个状态中，从因果图生成局部测试用例。局部测试用例由原因值（输入数据）组合与对应的结果值（输出数据或状态）构成。 B、测试路径生成：利用上面的规则（3种）生成从初始状态到最后状态的测试路径。 C、测试用例合成： 合成测试路径与功能图中每个状态的局部测试用例。结果是初始状态到最后状态的一个状态序列，以及每个状态中输入数据与对应输出数据的组合。
D、测试用例的合成算法：采用合成构造树。
