随机测试程序生成器研究

摘要：

随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率.介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整个被测处理器的可能行为,具有简单和高效的特点.给出了测试的统计数据.随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果.

关键词：有限状态机、指令树、模拟系统、微处理器

所属期刊栏目：26

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

资助基金：国家高技术研究发展计划863计划2002AA1Z030

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

页数：共4页

页码：281-284