通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法

• 作者: 傅亮 卢鼎 孙愿 张志敏
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 功能覆盖率 代码覆盖率 遗传算法 自动生成 功能验证
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 454-460
• 页数: 7页
• 分类号: TP302
• 字数: 6017字
• 语种: 中文

摘要

覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效率.文中分析了代码行覆盖次数与功能覆盖率的内在联系,建立了基于代码行覆盖次数的概率模型,提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法--FOCDGAG.通过代码行覆盖次数计算验证输入序列的适应度,选取对提高功能覆盖率贡献较高的输入序列,使用遗传算法自动生成新的输入序列组.实验结果表明,采用FOCDGAG时不需要功能覆盖信息,可以将全随机输入生成的功能覆盖率收敛速度提高10倍以上,将约束随机输入生成的功能覆盖率收敛速度提高20倍以上.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张志敏	中国科学院计算技术研究所微处理器技术研究中心	60	393	12.0	15.0
2	孙愿	中国科学院计算技术研究所微处理器技术研究中心	3	46	3.0	3.0
6	傅亮	中国科学院计算技术研究所微处理器技术研究中心	1	22	1.0	1.0
10	卢鼎	中国科学院计算技术研究所微处理器技术研究中心	1	22	1.0	1.0