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

基于有穷状态模型的测试生成;3.1 软件设计与测试;3.2 有穷状态机;3.2 有穷状态机; 如果一个FSM不将状态转换与任何操作关联在一起，称作Moore机。 如果一个FSM将每个状态转换都与操作关联在一起，称作Mealy机。 无论是Moore机，还是Mealy机，FSM包括一个有穷状态集合、一个输入集合、一个起始状态以及一个可用状态图定义的转换函数。;3.2.1 用输入序列激活FSM;3.2.2 转换函数和输出函数的表格表示;3.2.3 FSM的特征;3.3 符合性测试;3.3.1 重置输入 ;3.3.2 测试的难题 ;3.4 故障模型; 操作错误 在状态转换时产生的输出中任何错误称为操作。 转换错误 从一个状态到下一个状态转换中的任何错误称为转换错误。 冗余错误 在实现中可能会引入额外的状态。 状态确实错误 缺失状态是另一种类型的错误。;3.4.1 FSM的变体; 例3.6 设图3-12中M表示正确的设计，假设每次只能想M引入一个错误。通过引入操作错误，分别得到图3-12中的变体 。考虑每个状态又两个转换，通过引入转换错误，得到另外4个变体 。;3.4.2 故障覆盖率;3.5 特征集; 例3.7 考虑FSM M=(X,Y,Q, ,δ,O)，其中X=﹛a，b﹜，Y=﹛0，1﹜,Q =﹛ ﹜， 是初始状态，状态转换函数δ与输出函数O如图3-13所示。该FSM的W集如下： W=﹛a，aa，aaa，baaa﹜ 判断W是否真的是M的特征集，考虑串baaa，容易验证：当M处于初始状态 用baaa激活时，输出序列为1101；当M处于状态 用baaa激活时，输出序列为1100。因此， ，这意味着baaa将状态 和 分开了。; 在给定FSM M=(X,Y,Q, ,δ,O)的情况下，对于有穷状态机Q中的两个状态 和 ，若不存在 ，使得 ，那么称 与 是k等价的。 给定FSM M=(X,Y,Q, ,δ,O)，Q的一个k等价划分记为 ，是n个有穷状态集 的集合，满足: 1) ； 2) 对于1≤j≤n， 中的状态都是k等价的； 3) 对于i≠j，??果 ，那么 与 必定是k可划分的。;;;;;3.6 W方法;3.6.2 最大状态数;例3.11 首先，测试树只有根结点初始状态 ，这是测试树的第1层。接着由于 ，因此，增加两个结点 、 作为第2层，从 到 和 的分支分别标注意a和b。 在第2层，首先考虑结点 。由于结点 已经在第1层出现过，则在这层的结点 就是叶结点，不再进行扩展。再考虑结点 ，由于 ， ，因此增加两个结点 和 作为第3层，从 到 、 分支分别标注意b和a。 重复上面的步骤，每步骤完成一个层次。当到第6层时：结点 、 都是叶结点，不在扩展。这样，就得到M的测试树，如图3-14所示。;3.6.4 构造集合Z;3.6.5 导出测试集;3.6.6 采用W方法测试; ;3.7 部分W方法;例3.15 在例3.11中，为图3-13所示的FSM M构造了下面的转换覆盖集： P=﹛?，a，b，bb，ba，bab，baa，baab，baaa，baaab，baaaa﹜ P的子集构成了M的一个状态覆盖集：