收藏本站
《北京大学学报(自然科学版)》 2006年05期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

GATEST:使用遗传算法自动生成模拟矢量的验证平台

易江芳  佟冬  程旭  
【摘要】:对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
【共引文献】
中国期刊全文数据库 前3条
1 毛澄映;卢炎生;;构件软件测试技术研究进展[J];计算机研究与发展;2006年08期
2 满靖;闫健卓;王普;;异构数据库信息整合系统的测试技术研究[J];微计算机信息;2006年06期
3 鄂越;诸叶平;孙开梦;;农业专家系统自动化测试的研究与实践[J];中国农学通报;2006年02期
中国重要会议论文全文数据库 前1条
1 赵中芳;魏志强;贾东宁;;基于CBR的软件自动化测试用例复用方法研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
中国博士学位论文全文数据库 前2条
1 王珉;大型CAD系统软件架构及其开发方法研究[D];西北工业大学;2006年
2 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 司美琴;DB2统计信息测试数据自动生成系统的设计与实现[D];北京邮电大学;2007年
2 张娟;基于Par方法和Par平台的软件测试[D];江西师范大学;2005年
3 杜源;软件测试技术的应用及其发展趋势[D];四川大学;2005年
4 戴鹏;金融交易系统测试过程的分析与设计[D];华东师范大学;2006年
5 叶涛;基于合约检查的构件化软件测试的研究[D];西安理工大学;2006年
6 张福民;信息系统开发中的自动化测试应用研究[D];大连海事大学;2006年
7 王雪霞;软件总线调度控制系统的研究与实现[D];华北电力大学(北京);2006年
8 冀佩刚;程序静态分析研究[D];兰州大学;2006年
9 刘永红;构件及基于构件的软件测试研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
10 鄂越;农业专家系统自动测试技术的应用研究[D];中国农业科学院;2006年
【同被引文献】
中国期刊全文数据库 前1条
1 罗春,杨军,凌明;基于遗传算法和覆盖率驱动的功能验证向量自动生成算法[J];应用科学学报;2005年04期
【二级参考文献】
中国期刊全文数据库 前1条
1 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑;2001年04期
中国博士学位论文全文数据库 前2条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
【相似文献】
中国重要会议论文全文数据库 前2条
1 何文华;陶镳;宋元力;朴世云;;炼钢、轧钢厂综合生产管理系统模型的研究与实践[A];2005中国钢铁年会论文集(第4卷)[C];2005年
2 刘超;王希诚;;基于MPI的自动并行化系统的研究与实现[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
中国博士学位论文全文数据库 前1条
1 孔吉;关联多任务MPSoC数据系统关键技术研究[D];上海交通大学;2012年
中国硕士学位论文全文数据库 前4条
1 王尤慧;Online-HHT方法在时间序列数据流预测中的应用研究[D];大连理工大学;2009年
2 伍鹏;嵌入式网络化视频监控系统[D];浙江大学;2004年
3 张治慧;基于家庭服务的智能空间管理与监控系统[D];山东大学;2010年
4 刘超峰;基于RFID技术的监狱智能监控系统的分析与设计[D];电子科技大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026