基于遗传算法的反例理解

在复杂系统的错误定位过程中，为了寻找合适的证例，提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法，针对模型检测中的模型具有初始状态，状态之间有相应的迁移关系等特点，初始化种群、设计适应度函数并进行指向性的变异操作。实验表明该算法能快速有效的获得最近证例，帮助模型检测的反例理解。