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

• 作者: 佟冬 张良 王克义 程旭
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 功能验证 演化算法 分组 测试程序生成
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 456-464
• 分类号: TP302
• 字数: 9666字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程旭	北京大学深圳研究生院	85	436	11.0	16.0
5	佟冬	北京大学深圳研究生院	51	284	8.0	14.0
9	王克义	北京大学深圳研究生院	22	86	5.0	8.0
13	张良	北京大学深圳研究生院	14	53	4.0	7.0