随机测试程序生成器研究

摘要

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