随机测试程序生成器研究

作     者：刘志强 汪东升 郑纬民 LIU Zhi-qiang;WANG Dong-sheng;ZHENG Wei-min

作者机构：清华大学计算机系高性能计算研究所北京100084 

基　　金：国家863高技术计划基金项目(2002AA1Z030) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2005年第26卷第2期

页      码：281-284页

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

主 题 词：生成器 随机测试 微处理器 指令 状态机 测试过程 程序 覆盖率 模拟器 设计过程 

学科分类：08[工学] 0835[0835] 081201[081201] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2005.02.001

馆 藏 号：203454854...