一种基于复合依赖关系覆盖准则的EFSM测试方法

摘要

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