基于不变量的程序修复进化扩展模型

• 作者: 何加浪 孟锦 张宏 张琨
• 来源期刊: 计算机应用研究
• 关键词: 程序不变量 进化计算 程序修复 智能修复
• 年，卷（期）: 2010,（12）
• 页码范围: 4533-4535,4540
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.12.040

摘要

为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型(extended repair evolutionary model,EREM),利用程序不变量约束对搜索空间进行划分和约简以降低消耗,通过使用表达程序正常功能的正测试用例学习的不变量约束(称为正不变量约束)来保证程序不牺牲正常的功能,在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数,对于破坏正不变量约束的个体适应度给予一定的惩罚值.最后通过实验对模型进行了验证,结果表明了模型的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张宏	南京理工大学计算机科学与技术学院	181	1427	17.0	29.0
2	张琨	南京理工大学计算机科学与技术学院	79	780	15.0	24.0
3	何加浪	南京理工大学计算机科学与技术学院	9	67	4.0	8.0
4	孟锦	南京理工大学计算机科学与技术学院	8	49	6.0	6.0