%0 Journal Article
%T 基于遗传算法的反例理解
%A 李雅
%A 黄少滨
%A 李艳梅
%A 迟荣华
%A 郎大鹏
%J 哈尔滨工程大学学报
%D 2016
%R 10.11990/jheu.201509006
%X 在复杂系统的错误定位过程中，为了寻找合适的证例，提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法，针对模型检测中的模型具有初始状态，状态之间有相应的迁移关系等特点，初始化种群、设计适应度函数并进行指向性的变异操作。实验表明该算法能快速有效的获得最近证例，帮助模型检测的反例理解。
%K 模型检测|遗传算法|反例理解|错误定位
%U http://heuxb.hrbeu.edu.cn/oa/darticle.aspx?type=view&id=201509006