覆盖矩阵反馈的演化测试程序生成方法

摘要：

覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子模型独立运行基于覆盖矩阵反馈的演化测试程序生成进程.将文中方法应用到北大众志UniCore32定点处理器核的流水线控制相关机制的功能验证中,可以取得95.11%的功能覆盖率;与现有演化测试生成方法相比,在算法运行时间节省60.4%的情况下功能覆盖率提高了31.03%.

关键词：功能验证、演化算法、分组、测试程序生成

所属期刊栏目：23

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

资助基金：国家"八六三"高技术研究发展计划2006AA010202

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

页数：共9页

页码：456-464