CSpace  > 中国科学院计算技术研究所期刊论文  > 中文
基于约束的处理器接口随机测试模型
郇丹丹; 李祖松; 刘志勇
2007
发表期刊计算机工程
ISSN1000-3428
卷号33.0期号:015页码:227
摘要提出了一种处理器接口测试模型,并给出了具体实现方案.该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法.结果表明,基于约束的处理器接口随机测试模型的覆盖率达到83.68%,能够快速有效地完成处理器接口部件的功能验证.
关键词接口 功能验证 仿真 约束随机测试 覆盖率 龙芯2号
语种英语
文献类型期刊论文
条目标识符http://119.78.100.204/handle/2XEOYT63/35866
专题中国科学院计算技术研究所期刊论文_中文
作者单位中国科学院计算技术研究所
第一作者单位中国科学院计算技术研究所
推荐引用方式
GB/T 7714
郇丹丹,李祖松,刘志勇. 基于约束的处理器接口随机测试模型[J]. 计算机工程,2007,33.0(015):227.
APA 郇丹丹,李祖松,&刘志勇.(2007).基于约束的处理器接口随机测试模型.计算机工程,33.0(015),227.
MLA 郇丹丹,et al."基于约束的处理器接口随机测试模型".计算机工程 33.0.015(2007):227.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[郇丹丹]的文章
[李祖松]的文章
[刘志勇]的文章
百度学术
百度学术中相似的文章
[郇丹丹]的文章
[李祖松]的文章
[刘志勇]的文章
必应学术
必应学术中相似的文章
[郇丹丹]的文章
[李祖松]的文章
[刘志勇]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。