一种基于变量分割的扩展有限状态机测试数据生成方法

摘要

本发明公开了一种基于变量分割的扩展有限状态机测试数据生成方法，属于软件测试技术领域，特别是涉及一种基于模型的测试技术领域。在基于扩展有限状态机的测试中，使用启发式方法获得测试数据的一个关键问题是如何提高算法的搜索效率。本发明在遗传算法的基础上提出一种自动分割测试路径中无关输入变量的方法。该方法特征是通过深入分析模型中变量与变量、变量与谓词条件间的关系，判定不影响子路径中谓词条件的无关输入变量及其起始分割迁移，同时开发了一个动态可执行模型框架用以提供算法所需的信息反馈，而后在遗传算法的搜索过程中将可分割输入变量逐渐从个体中分离以实现搜索空间的自动缩减，快速的生成目标测试路径的测试数据，提高测试数据生成效率。