覆盖率分析相关论文
模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开......
随着计算机的不断发展，人们对软件质量和可靠性要求也不断提高，带动了软件测试的发展。软件测试不仅贯彻开发过程的始终，在整个开发过......
覆盖率分析技术是评价软件测试充分性的一项重要技术，它通过对程序的执行情况进行分析统计，对已有测试用例的测试充分性给出评价，并对......
随着智能产品的不断优化和升级,人们对手机基带芯片的要求越来越高,功耗是决定芯片性能的重要的方面,智能手机等移动设备作为信息......
随着超大规模集成电路技术的不断发展,集成电路测试的地位正变得日益显著,成为贯穿于集成电路设计、制造、生产中保证芯片质量的重......
介绍了X DSP二级Cache的结构和主要功能,并针对X DSPL2部件改动较大、其它部件改动较小的特点,提出了偏重于系统级模拟的验证方法,......
在嵌入式软件开发领域,随着对软件质量和开发效率的要求越来越高,传统的软件开发方式已经不能够胜任.基于模型的开发方式通过引入......
随着计算机系统广泛地应用于航空电子设备和系统，其控制核心——软件的可靠性在整个系统飞行安全中的重要性起来越显著。该文简要介......
设计复杂度的增加、IP重用等当前复杂SoC/ASIC设计的特性要求对设计的功能进行更加充分的验证.基于PSL的功能覆盖率分析与传统的代......
ARM和Synopsys正在联手开发基于覆盖率分析的片上系统(SoC)验证的统一方法,并将发布在即将出版的双方合著的中.本文说明了这种基于......
1.0简介rn当前,设计验证已经成为半导体芯片设计过程所面临的主要难题之一.如何确认芯片能够在相关应用中正确运行?除了需要写出尽......
本文主要介绍了嵌入式系统测试工具CodeTest的特点，并与其他传统的软硬件测试工具进行了比较，描述了其工作原理和工作流程，并通过一个......
基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应......
针对路径测试的要求及其特点，结合图论的概念，提出了程序控制流程图的一种表示方法。并在此基础上，讨论了基于程序控制流程图的测试路......
针对路径测试的特点,结合图论的知识,提出了控制流程图的一种表示方法。在此基础上,讨论了基于控制流程图的测试路径自动查找算法......
提出一种基于模拟仿真和覆盖率分析的方法.通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、......
列车自动防护系统(ATP)用于为列车提供完整的超速防护功能,具有较高的软件安全等级。文章通过对ATP模式转换关系的研究,采用了与传......
为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略......
Questasim在硬件设计和仿真验证中得到了广泛的应用，除基础仿真应用外，工具提供的代码覆盖率分析和仿真波形比较两种功能在实际应用......
随着集成电路设计能力和制造工艺技术的日益提高,集成电路规模逐渐扩大,单芯片上电子元器件集成度早已突破10亿。在这种情况下,芯......
设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析......
LDRA Test Bed是一种在业务软件中广泛应用的高可靠性自动化测试工具。文章通过某型机载火控雷达综合显控软件测试实例,详细阐述了......
介绍了龙芯2号配套北桥中PCI Bridge的功能验证系统以及功能覆盖率建模和分析方法。该系统和方法在开发和验证PCI Bridge模块过程......
近年来,越来越多的安全关键软件系统运行在国产Linux操作系统上,其中大多数采用C＋＋开发,而C＋＋正在扩展新版语言规范,已有的覆盖率统计......
功能验证是保证VLSI设计功能正确的重要手段。随着现代VLSI设计复杂度的不断提高，功能验证越来越成为设计验证的瓶颈。目前，功能验证......
当今片上系统(System-on-chip,SoC)设计复杂度越来越高,很多复杂设计已经无法从寄存器传输级(Register Transfer Level,RTL)开始建......
近年来,伴随我国城市化建设步伐的加快,城市人口增长速度越来越快,随之而来的私家车也越来越多,交通的拥挤程度也越来越严重。实践......
研究了黑盒功能测试和结构覆盖测试,定义了各种覆盖率指标及指出其适用范围,根据覆盖率准则的包含关系,提出了装备定型中关键软件......
反应堆保护系统是核电厂最重要的仪控系统之一,当和反应堆运行状态相关的参数达到极限值时触发紧急停堆和安全专设系统,确保核电站......
为了探索SCADE开发环境在基于模型设计（MBD）的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析......
针对嵌入式软件动态测试时的覆盖率分析问题,提出了一种嵌入式软件动态测试系统框架。该框架基于嵌入式软件测试的特点及路径覆盖......
随着嵌入式技术的高速发展,嵌入式系统的硬件规模和复杂度得到了极大的提高,相应的,嵌入式软件的复杂度和性能也日益提高,嵌入式系......
结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了......
退休职工的养老问题是城镇社会保障工作的核心内容。中国现行的城镇养老保险制度实行现收现付和个人积累的混合制,但相对较低的城......
在软件测试过程中有效地监控代码覆盖率是提高软件测试有效性的一个重要途径,介绍了利用LDRA Testbed测试工具进行嵌入式软件结构......
