第3章 基于有穷状态模型的测试生成 - 副本.ppt

3.1 软件设计与测试 图 3-1 简化的软件开发过程 3.2 有穷状态机 3.2 有穷状态机 例3.1 考虑一个具有3路旋转开关的台灯。当开关被旋转到某位置时，台灯处于OFF状态。顺时针旋转开关到下一个位置，台灯的状态变为ON_DIM，再次顺时针旋转一下开关，台灯的状态变为ON_BRIGHT。最后，再顺时针旋转一下开关，台灯的状态又变回OFF。这个旋转开关充当了输入设备，控制台灯的状态。台灯状态随着开关位置变化而变化的情况可采用如图3-2a所示的状态图进行说明。 台灯具有OFF、ON_DIM、ON_BRIGHT这3个状态以及1个输入。注意，尽管从台灯用户的角度看，台灯只能顺时针旋转到下一个位置，但台灯开关有3个不同的位置（刻槽）。这样，“顺时针旋转开关一个刻槽”就是唯一的输入。假设开关可以反时针旋转，那么台灯就有两个输入，一个对应顺时针旋转。台灯的状态任然是3个，但其状态图如图3-2b所示。 3.2.1 用输入序列激活FSM 在大多数实际情况下，FSM都是用取自输入字符集的一串输入字符来激活。例如，假设台灯的状态图3-2b所示，其当前状态为ON_BRIGHT,接收到的输入串为r，则 r=Turn_CCW Turn_CCW Turn_CW 采用图3-2b中的转换函数，很容易验证r使台灯从状态ON_BRIGHT转换到ON_DIM。这个转换可用下面的转换序列表示： δ(ON_BRIGHT, Turn_CCW)= ON_DIM δ(ON_DIM, Turn_CCW)= OFF δ(OFF, Turn_CW)=ON_DIM 为简便起见，用符号 ,表示“长度大于等于的输入串z使FSM从状态 转换到 ”。这样，针对图3-2b所示的状态图，有δ(ON_BRIGHT, r)= ON_DIM。 3.2.2 转换函数和输出函数的表格表示 3.2.3 FSM的特征 完全定义的FSM 如果M是FSM，从它的每一个状态出发， 对每个输入符号都存在一个转换，则称该FSM M是完全定义的。 如图3-2a所示。 强联通的FSM 如果M是FSM，它的每一对状态 都存在一个输入串使M从状态 转换到 ，则称该FSM M是强连通的。 如图3-2b所示。 最小机 如果FSM M的状态数量少于或等于其他任何与其等价的FSM，则称M是最小机。 3.3 符合性测试 在通信协议测试领域广泛采用“符合性测试”这个术语。如果通信协议的某个实现通过了一系列的从协议规范设计出来的测试，就称协议的该实现符合协议的规范。 3.3.1 重置输入 给定测试用例集合T=﹛ ﹜，测试过程如下： 1）将IUT置于初始状态；对T中的每个测试用例重复下面的步骤。 2）从T中选择下一个测试用例，将其应用于IUT；观察IUT的运行结果，并与图3-7中所示的预期输出进行比较；如果IUT产生的输出与预期输出不一致，则称IUT失效。 3）通过运用重置输入操作，将IUT置回初始状态，重复上面的步骤，使IUT准备好接收T中的下一个测试用例。 通常假设重置输入操作产生的是一个null输出。相对于其控制规范：FSM M=(X,Y,Q, ,δ,O) 为了测试IUT，其输入字符集和输出字符集分别扩展为： X=X∪﹛Re﹜ Y=Y∪﹛null﹜ 其中，Re代表重置输入，null代表相应的输出。 3.3.2 测试的难题 设M是FSM设计的形式化表示。设R代表需求，从R可以导出M。R和M常常作为生成测试用例以及判定输出的结果的基础。 测试的难题在于判断IUT与M是否是等价的。等价性可用IUT和M的I/O行为来定义。 如图3-7所示，测试IUT与M的等价性，要求对IUT执行一系列从M导出