测试程序生成

作品数:9被引量:16H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:张良王克义程旭佟冬徐拾义更多>>
相关机构:北京大学上海大学华为技术有限公司国防科学技术大学更多>>
相关期刊:《软件学报》《计算机工程》《信息网络安全》《电子学报》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=软件学报x
条 记 录,以下是1-1
视图:
排序:
微处理器体系结构级测试程序自动生成技术被引量:7
《软件学报》2005年第12期2172-2180,共9页朱丹 李暾 郭阳 李思昆 
国家自然科学基金~~
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的...
关键词:体系结构描述语言 约束满足问题 指令模板库 测试程序生成 
检索报告 对象比较 聚类工具 使用帮助 返回顶部