第3章节基于有穷状态模型的测试生成—副本.pptVIP

基于有穷状态模型的测试生成 讲解人：郑腾飞 第3章 Foundations of Software Testing Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.1 软件设计与测试 图 3-1 简化的软件开发过程 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.2 有穷状态机 FSM包括一个有穷状态集合、一个输入集合、一个起始状态以及一个可用状态图定义的转换函数。 有穷状态机 一个有穷状态机是个六元组（X、Y、Q、q、δ、O），其中： a）X是一个有穷的输入符号集合，又被称作输入字符集。 b）Y是一个有穷的输出符号集合，又被称作输出字符集。 c）Q是一个有穷的状态集合。 d）q∈Q,是初始状态。 e）δ：Q×X→Q，是下一状态或状态转换函数。 f）O： Q×X →Y,是输出函数。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.2 有穷状态机 例3.1 考虑一个具有3路旋转开关的台灯。当开关被旋转到某位置时，台灯处于OFF状态。顺时针旋转开关到下一个位置，台灯的状态变为ON_DIM，再次顺时针旋转一下开关，台灯的状态变为ON_BRIGHT。最后，再顺时针旋转一下开关，台灯的状态又变回OFF。这个旋转开关充当了输入设备，控制台灯的状态。台灯状态随着开关位置变化而变化的情况可采用如图3-2a所示的状态图进行说明。 台灯具有OFF、ON_DIM、ON_BRIGHT这3个状态以及1个输入。注意，尽管从台灯用户的角度看，台灯只能顺时针旋转到下一个位置，但台灯开关有3个不同的位置（刻槽）。这样，“顺时针旋转开关一个刻槽”就是唯一的输入。假设开关可以反时针旋转，那么台灯就有两个输入，一个对应顺时针旋转。台灯的状态任然是3个，但其状态图如图3-2b所示。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 如果一个FSM不将状态转换与任何操作关联在一起，称作Moore机。 如果一个FSM将每个状态转换都与操作关联在一起，称作Mealy机。 无论是Moore机，还是Mealy机，FSM包括一个有穷状态集合、一个输入集合、一个起始状态以及一个可用状态图定义的转换函数。 有穷状态机 一个有穷状态机是个六元组（X、Y、Q、q、δ、O），其中： a）X是一个有穷的输入符号集合，又被称作输入字符集。 b）Y是一个有穷的输出符号集合，又被称作输出字符集。 c）Q是一个有穷的状态集合。 d）q∈Q,是初始状态。 e）δ：Q×X→Q，是下一状态或状态转换函数。 f）O： Q×X →Y,是输出函数。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 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 δ(OF