[黑盒测试基本方法]状态迁移法教学教材.pdfVIP

状态迁移法 一、概念 1．什么是状态迁移法 在定义状态迁移法之前， 先介绍一下程序的功能说明。 一个程序的功能说明 通常由动态说明和静态说明组成。 动态说明描述了输入数据的次序或转移的次序。 静态说明描述了输入条件与输出条件之间的对应关系。 对于较复杂的程序， 由于 存在大量的组合情况， 因此，仅用静态说明组成的规格说明对于测试来说往往是 不够的，必须用动态说明来补充功能说明。 功能图方法是用功能图形式化地表示程序的功能说明， 并机械地生成功能图 的测试用例。功能图模型由状态迁移图和逻辑功能模型构成： (1) 状态迁移图用于表示输入数据序列以及相应的输出数据。用状态和迁移 来描述一个状态指出数据输入的位置 （或时间），而迁移则指明状态的改 变，同时要依靠判定表或因果图表示的逻辑功能。在状态迁移图中，由 输入数据和当前状态决定输出数据和后续状态。 (2) 逻辑功能模型用于表示在状态中输入条件和输出条件之间的对应关系。 逻辑功能模型只适合于描述静态说明，输出数据仅由输入数据决定。 (3) 测试用例则是由测试中经过的一系列状态和在每个状态中必须依靠输入 / 输出数据满足的一对条件组成。 如何从状态迁移图中选取用例？我们采用节点代替状态， 弧线代替迁移， 那 么状态迁移图就转换成为一个程序的控制流程图， 问题也就随之转换为路径测试 的问题了。所以，功能图方法其实是是一种黑盒 / 白盒混合使用的用例设计方法。 比如在功能图方法中， 用到的逻辑覆盖与路径测试的概念和方法， 就是属于白盒 测试方法中的内容。 （逻辑覆盖是以程序内部的逻辑结构为基础的测试用例设计 方法，该方法要求测试人员对程序的逻辑结构有清楚的了解。 由于覆盖测试的目 标不同，逻辑覆盖可分为：语句覆盖，判定覆盖，判定 -条件覆盖，条件组合覆 盖及路径覆盖。） 注意：测试人员应当注意区分黑盒测试中系统功能或者系统水平上的逻辑覆 盖与路径，和白盒测试中所指的程序内部的逻辑覆盖的区别。 状态迁移法的目标是设计足够的用例达到对系统状态的覆盖、 状态——条件 组合的覆盖以及状态迁移路径的覆盖。 测试用例的生成规则： 为了把状态迁移 （测试路径）的测试用例与逻辑模型 （局部测试用例）的测试用例组合起来， 从功能图生成实用的测试用例， 须在一 个结构化的状态迁移（ SST）中，定义三种形式的循环——顺序、选择和重复。 然后按照以下四个过程从功能图中生成测试用例。 1. 生成局部测试用例。在每个状态中，从因果图生成局部测试用例。局部 测试用例由原因值（输入数据）组合与对应的结果值（输出数据或状态）构成。 2. 测试路径生成。利用上面的规则（顺序、选择、重复）生成从初始状态 到最后状态的测试路径。 3. 测试用例合成。合成测试路径与功能图中每个状态中的局部测试用例， 结果是初始状态到最后状态的一个状态序列， 以及每个状态中输入数据与对应输 出数据的组合。 4. 测试用例的合成算法。采用条件构造树。 二、操作步骤及实例分析 借鉴实例（？）——手机中 MP3 的播放功能。 在手机中使用 MP3，R 键功能为倒退， P 键功能为播放， F 键功能为快进， RC键功能为录音， S 键功能为暂停；其中没有选择 MP3 曲目时不能按任何键， 并且当 MP3 曲目在起点时不能按