功能覆盖相关论文
基于动态搜索的Web应用测试通过动态搜索Web应用的用户接口状态空间,实现Web应用的自动化测试。Web应用用户接口状态空间大多具有......
100万像素,200万像素,300万像素……手机的拍照功能正在以人们难以想像的速度不断升级。当去年此时人们还在惊叹于11万像素的拍照......
本文介绍了基于事务的RVM(reference verification method)验证方法学,以及利用RVM验证方法学搭建可重用性高效验证平台,详细分析......
摘 要：网络信息技术作为现代先进生产力的重要元素，理应成为助力党建工作创新的重磅利器，必将在全面推进党的建设新的伟大工程中发挥......
针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降......
本文首先分析了传统验证方法的不足和使用RVM随机验证的原因，指出了RVM随机验证的3个关键点，接着介绍了RVM随机验证方法学的主要特征......
新系统以国家税务总局为主、省局为辅、高度集中处理信息,其功能覆盖各级税务机关行政管理、税收业务、决策支持、外部信息应用等......
本文通过介绍目前国际先进的软件测试代码覆盖统计技术，对白盒测试和黑盒测试的特点进行对比，分析两种方法的特点和不足，从而综合两种......
Web应用测试是保证Web应用质量的重要手段。基于动态搜索的Web应用测试通过动态搜索Web应用的用户接口状态空间,实现Web应用的自动......
基于仿真的验证和形式验证是用于测试的两种方法。由于形式验证难以用于大型设计的测试,所以HDL验证的主要方法是通过大量的测试向......
随着微处理器复杂度的不断提高，用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法，首先利用功能抽象的方......
重新分类了现有的面向对象方法,并以此对《设计模式》(Erich Gamm a、R ichard Heln、Ralph Johnson、John V lissides著)一书中的......
随着大规模集成电路的发展,其设计规模不断增加,从几十万门级发展到百万、千万门级,完成相应的验证工作也变得越来越困难,给相应的......
