[发明专利]一种基于复合依赖关系覆盖准则的EFSM测试方法

权利要求书

1.一种基于复合依赖关系覆盖准则的EFSM模型测试方法，其特征在于：EFSM模型上的依赖关系分为控制依赖关系和数据依赖关系；本测试方法包括复合依赖迁移对集合生成、迁移对冲突关系检测及移除和测试路径生成三个核心部分：

第一、复合依赖迁移对集合生成：在EFSM模型中依据模型的终止性选择新型的控制依赖关系，生成复合依赖迁移对集合；

第二、迁移对冲突关系检测及移除：对复合依赖迁移对集合中两个迁移上的变量进行分析，将条件冲突的迁移对从复合依赖迁移对集合中移除；

第三、测试路径生成：利用深度优先遍历的方法来生成满足复合依赖关系覆盖准则的测试路径集，在路径生成过程中，提出四条路径生成规则；

在EFSM模型中依据模型的终止性选择新型的控制依赖关系，生成复合依赖迁移对集合，具体为：

根据EFSM模型的非终止性和非确定性，将控制依赖分为非终止敏感控制依赖、非终止不敏感控制依赖，其中非终止敏感控制依赖适用于终止EFSM模型，非终止不敏感控制依赖适用于非终止模型，需要根据具体情况选择合适的控制依赖关系；

依据控制依赖和数据依赖的关系生成的依赖迁移对之间存在交集，同时两者又是非互相包含的，据此提出复合依赖关系覆盖准则的定义：

首先定义Pair_TS为序列TS的所有迁移对：给定非空序列TS＝＜t₁,...,t_n＞，其中，t_i是EFSM M中的迁移，n表示迁移序号数，i表示第i个迁移序号；如果Pair_TS＝{(t_i,t_j)|1≤i,j≤n}，则称Pair_TS为序列TS的所有迁移对，j表示第j个迁移序号；接着定义复合依赖关系覆盖准则：假定EFSM M的迁移集合为T＝{t_i|1≤i≤n}，控制依赖对集合为表示控制依赖关系；数据依赖对集合为集合A＝{TS_i|i∈N}为M中所有迁移序列的集合，表示数据依赖关系；若存在集合A_M＝{TS_l|l∈N}，使得则称A_M为M的复合依赖关系覆盖；表示空集；N表示迁移序列序号数，l表示第l条迁移序列序号；

依据定义提出复合依赖迁移对集合的生成方法：首先根据模型的终止性选择对应的控制依赖关系计算控制依赖对和数据依赖对，并最终生成复合依赖迁移对集合；

对复合依赖迁移对集合中两个迁移上的变量进行分析，将条件冲突的迁移对从复合依赖迁移对集合中移除，具体为：

由于在路径生成时会对条件冲突对进行判断，若复合依赖对集合中存在冲突迁移对，相对应的路径无法覆盖到该冲突迁移对；因此对复合依赖迁移对集合中的每个依赖对之间进行冲突判断，若某对依赖对之间存在冲突，就将这对依赖对从依赖关系对集合中移除，最后剩下的非冲突依赖对组成复合非冲突依赖对集合；

测试路径生成部分中利用深度优先遍历的方法来生成满足复合依赖关系覆盖准则的测试路径集，在路径生成过程中，提出四条路径生成规则，具体为：

路径生成采用深度优先遍历的算法，在算法中将满足复合依赖关系覆盖准则作为路径生成的停止准则，提出四条路径生成规则；

规则1：如果路径中存在条件冲突，那这条路径就不会被加入到路径集合中；

规则2：在选择后继迁移时，选择路径中出现次数最少的后继迁移加入路径中；

规则3：对于非终止模型，对于控制陷落中的每个节点赋予一定的终止概率使其有可能在控制陷落中的任一节点终止；

规则4：对于控制依赖对，生成的测试路径仅需覆盖控制依赖对；对于数据依赖对，需要对路径中具有数据依赖的两个迁移之间的迁移进行变量分析，从而决定该数据依赖对能否被覆盖。