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

说明书

本发明公开了一种基于复合依赖关系覆盖准则的EFSM测试方法，属于通信协议、嵌入式系统以及web应用测试等领域。本方法提出了基于复合依赖关系的覆盖准则，结合EFSM模型中的新型控制依赖关系和数据依赖关系来指导测试路径的生成。本方法涉及的测试方法分为复合依赖迁移对集合生成部分、迁移对冲突关系检测及移除部分和测试路径生成部分三个核心部分。相对于目前的基于数据流以及基于迁移或状态覆盖准则的测试方法，该方法解决了非终止模型的测试路径生成问题，同时充分发挥了控制依赖与数据依赖的优势，使得生成的EFSM路径集可以更加有效得检测错误，降低测试成本。

技术领域

本发明涉及一种基于复合依赖关系覆盖准则的EFSM测试方法，属于通信协议、嵌入式系统以及web应用测试等领域。

背景技术

扩展有限状态机(ExtendedFinite State Machine，EFSM)具有很强的数据建模和行为建模能力，在通讯协议、嵌入式系统和web应用建模中具有广泛的应用。扩展有限状态机可以被表示成一个六元组M＝(S,s₀,T,E,G,A)，其中而s₀∈S表示初始状态，T是所有迁移的集合，E是迁移上的事件event集合，G迁移上判断条件guard的集合，A是所有操作action的集合。

测试覆盖准则是软件测试的核心，测试覆盖准则定义了一个测试用例需求集，并且这个集合必须被一个完全的测试用例集覆盖。测试覆盖准则是为了找到一个能够测试软件每个部分的最小的测试用例集合。目前在EFSM模型上的测试覆盖准则主要可以被分为三类：基于数据流的覆盖准则，基于迁移或状态的覆盖准则以及随机覆盖准则。

发明内容

本发明的目的在于提出了一种基于复合依赖关系覆盖准则的EFSM测试方法。该方法定义了结合控制依赖和数据依赖的复合依赖关系覆盖准则，并基于该准则提出一种EFSM测试路径生成方法，可以解决非终止EFSM测试路径生成问题。

为实现上述目的，本发明采用的方案为一种基于复合依赖关系覆盖准则的EFSM模型测试方法，将EFSM模型重要的控制依赖关系和数据依赖关系用作覆盖准则来指导测试路径的生成。本测试方法包括复合依赖迁移对集合生成、迁移对冲突关系检测及移除和测试路径生成三个核心部分：

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

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

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

以下分别对这三个部分进行详细的描述。

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

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

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