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

摘要

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

主权项

1.一种基于复合依赖关系覆盖准则的EFSM模型测试方法，其特征在于：EFSM模型上的依赖关系分为控制依赖关系和数据依赖关系，对模型测试具有重要作用；本测试方法包括复合依赖迁移对集合生成、迁移对冲突关系检测及移除和测试路径生成三个核心部分：第一、复合依赖迁移对集合生成：在EFSM模型中依据模型的终止性选择新型的控制依赖关系，生成复合依赖迁移对集合；第二、迁移对冲突关系检测及移除：对复合依赖迁移对集合中两个迁移上的变量进行分析，将条件冲突的迁移对从复合依赖迁移对集合中移除；第三、测试路径生成：利用深度优先遍历的方法来生成满足复合依赖关系覆盖准则的测试路径集，在路径生成过程中，为更好的满足复合依赖覆盖准则，提出四条路径生成规则。