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

摘要：

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

关键词：功能覆盖率、代码覆盖率、遗传算法、自动生成、功能验证

所属期刊栏目：21

分类号：TP302(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划/CIMS主题基金2002AA1Z1040;北京市工业促进局项目京财经一指[2005]1858号

在线出版日期：2009-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：454-460