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

作     者：于颂 毛志刚 

作者机构：上海交通大学微电子学院上海200240 

出 版 物：《微计算机信息》 (Control & Automation)

年 卷 期：2009年第25卷第27期

页      码：148-150页

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

主 题 词：验证向量 有限状态机 覆盖率 蚁群算法 遗传算法 

学科分类：08[工学] 081101[081101] 0811[工学-水利类] 081102[081102] 

D　O　I：10.3969/j.issn.2095-6835.2009.27.058

馆 藏 号：203410275...