基于EFSM模型的路径测试数据生成方法

摘要

本发明公开了基于EFSM模型的路径测试数据生成方法，包括以下步骤：步骤一、对EFSM模型进行符号执行和数据流依赖分析，获得每条EFSM模型的路径约束；步骤二、使用遗传算法生成满足路径约束的测试数据，给定初始个体；步骤三、根据适应度函数评估初始个体的适应度值，若个体的适应值为0，那么这样的初始个体就是满足路径约束的测试数据，算法终止；步骤四、若步骤三中的适应值没有超过设定的最大代数，可以在当前代中选取两个具有最小适应值的个体作为父个体进行交叉操作或变异操作，生成新一代个体，并对新一代个体重复步骤三和步骤四。对于具有复杂约束或涉及多变量的路径，我们的方法生成满足所有约束条件的测试数据的成功率要比S.Kalaji方法高的多。