10.3969/j.issn.1000-7024.2004.09.007
微处理器随机测试程序生成器
CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器.它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证.详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法,特别是利用分层的CSP约束网络实现了程序结构的控制.
功能验证、随机测试、约束满足问题(CSP)
25
TP31(计算技术、计算机技术)
国家高技术研究发展计划863计划2002AA1Z030
2004-10-21(万方平台首次上网日期,不代表论文的发表时间)
共4页
1444-1446,1503