51testing测试用例贴整理笔记(3)

为每条路径设定好优先级后，接下来的工作就是为每条路径选取测试数据，构造测试用例。一条路径可以对应多个测试用例，在选取测试数据时，可以充分利用边界值选取等方法，通过表格将各种测试数据的输入输出对应起来，这样就完成了测试用例的设计。

对于测试人员而言，测试用例的设计是一件非常困难的工作，而同时测试用例的设计好坏又直接关系到整个系统的设计质量。本文介绍了一种更理论化的设计方法来尽量简化这种工作，将一般应用于单元测试的路径分析方法推广到集成测试、系统测试等后续测试过程中，希望能给大家一点启示。

用例设计之功能图

功能图方法是一种黑盒、白盒混合用例设计方法，是功能图FD形式化地表示程序的功能说明，并机器地生成功能图的测试用例。功能图模型由状态迁移图和逻辑功能模型构成。 状态迁移图用于表示输入数据序列以及相应的输出数据。在状态迁移图中，由输入数据和当前状态决定输出数据和后续状态。

逻辑功能模型用于表示在状态输入条件和输出条件之间的对应关系。逻辑功能模型只适合于描述静态说明，输出数据仅由输入数据决定。测试用例则由测试中的一系列状态和在每个状态中必须依靠输入/输出数据满足的一对条件组成。

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

（2）测试用例生成方法：从功能图生成测试用例，得到的测试用例数是可以接受的。问题的关键是如何从状态迁移图中选取测试用例。若用节点代替状态，用弧线代替迁移，则状态迁移图就可转化成一个程序的控制流程图形式。问题就转化为程序的路径测试问题了。

（3）测试用例生成规则：为了把状态迁移的测试用例与逻辑模型的测试用例相组合起来，从功能图生成生成实用的测试用例，需定义下面的规则。在一个结构化的迁移（SST）中，定义三种形式的循环：顺序、选择和重复。但分辨一个状态迁移中的所有循环是有困难的。