基于蚁群和遗传算法的测试向量生成方法

• 来源期刊: 科技与创新
• 关键词: 验证向量 有限状态机 覆盖率 蚁群算法 遗传算法
• 年，卷（期）: 2009,（27）
• 所属期刊栏目: 软件时空
• 页码范围: 148-150
• 页数: 3页
• 分类号: TP2
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2009.27.058

摘要

随着设计复杂度的迅速增长,集成电路的测试已成为阻碍其发展的重要因素,如何尽可能自动生成可以满足测试覆盖率的测试向量是这一问题的关键所在.本文在对测试向量自动生成问题分析的基础上,建立了数学模型,并提出了一种适合求解该问题的蚁群遗传融合优化算法.该方法首先由蚁群算法得到测试向量集,然后利用遗传算法对向量集进行优化.实验数据表明,通过该算法,只需较少的迭代次数就可以自动生成满足一定覆盖率的测试向量组,由此可以证明该方法在产生高覆盖率测试向量上具有一定的有效性.