微处理器体系结构级测试程序自动生成技术

• 作者: 朱丹 李思昆 李暾 郭阳
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 体系结构描述语言 约束满足问题 指令模板库 测试程序生成
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 计算机体系结构
• 页码范围: 2172-2180
• 页数: 9页
• 分类号: TP302
• 字数: 7320字
• 语种: 中文

摘要

提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统--MA2TG(microprocessor architectural automatic test program generator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	李思昆	国防科学技术大学计算机学院	133	1339	18.0	31.0
4	朱丹	国防科学技术大学计算机学院	6	24	3.0	4.0