蚁群智能模型检测算法

• 作者: 吴湘宁 汪渊 胡成玉
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 模型检测 自动软件测试 蚁群智能 信息素
• 年，卷（期）: 2010,（12）
• 页码范围: 76-79
• 分类号: TP311
• 字数: 3297字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.12.021

摘要

蚁群智能模型检测算法借鉴了自然界中蚂蚁通过信息素相互沟通,从而完成觅食、搬迁等需要协作的复杂社会活动的原理.通过分布在程序控制流图和状态图上的代理,即人工蚂蚁的回溯来跟踪寻找模型中的正确路径和错误路径,人工蚂蚁在控制流图上移动时,分别在正确路径和错误路径上释放两种不同的信息素,通过对两种信息素的对比,可自动定位出程序中引发特定错误的原因.由于人工蚂蚁之间相互独立、并行工作,因此算法能够同时、并行地跟踪多条正确路径和错误路径,也可同时定位出引发多个不同错误的不同原因.通过对中小规模程序的检测,结果表明,该算法是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪渊	国防科学技术大学计算机学院	1	0	0.0	0.0