| 通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法 |
| |
| 引用本文： | 傅亮,卢鼎,张志敏,孙愿.通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法[J].计算机辅助设计与图形学学报,2009,21(4). |
| |
| 作者姓名： | 傅亮 卢鼎 张志敏 孙愿 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所微处理器技术研究中心,北京,100190;中国科学院研究生院,北京,100049
2. 中国科学院计算技术研究所微处理器技术研究中心,北京,100190 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，北京市工业促进局项目 |
| |
| 摘 要： | 覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效率.文中分析了代码行覆盖次数与功能覆盖率的内在联系,建立了基于代码行覆盖次数的概率模型,提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法--FOCDGAG.通过代码行覆盖次数计算验证输入序列的适应度,选取对提高功能覆盖率贡献较高的输入序列,使用遗传算法自动生成新的输入序列组.实验结果表明,采用FOCDGAG时不需要功能覆盖信息,可以将全随机输入生成的功能覆盖率收敛速度提高10倍以上,将约束随机输入生成的功能覆盖率收敛速度提高20倍以上.
|
| 关 键 词： | 功能覆盖率 代码覆盖率 遗传算法 自动生成 功能验证 |
An Automatic Test Generation Method for Functional Coverage Improvement by Code Coverage Analysis |
| |
| Fu Liang,Lu Ding,Zhang Zhimin,Sun Yuan.An Automatic Test Generation Method for Functional Coverage Improvement by Code Coverage Analysis[J].Journal of Computer-Aided Design & Computer Graphics,2009,21(4). |
| |
| Authors: | Fu Liang Lu Ding Zhang Zhimin Sun Yuan |
| |
| Affiliation: | Research Center of Microprocessor Technology;Institute of Computing Technology;Chinese Academy of Sciences;Beijing 100190;Graduate University of Chinese Academy of Sciences;Beijing 100049 |
| |
| Abstract: | Coverage driven is an important technology for functional verification. However,the efficiency of coverage driven verification is greatly affected by the subjectivity of the functional coverage definitions and lengthy manual test adjustment. This paper analyzes the relationship between the line covered times and functional coverage. Besides,it also establishes a statistical probability model based on the line covered times. By using this model,a novel method,i.e.,functional coverage oriented,code coverage d... |
| |
| Keywords: | functional coverage code coverage genetic algorithm automatic test generation functional verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
