首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 116 毫秒
1.
提出一种基于模拟仿真和覆盖率分析的方法.通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间,得到了预期的验证结果.  相似文献   

2.
设计并实现了一个RTL覆盖率驱动的验证框架HRV,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法.实验结果表明,HRV通过集成多种验证工具,提高了模拟验证效率,加速了错误检测和错误定位.  相似文献   

3.
随着数字信息技术的发展,SDHost控制器的应用逐渐广泛。本文对SDHost控制器的相关功能进行验证,基于UVM验证方法学搭建完整的验证平台,通过直接测试和大量的随机测试案例以及Makefile脚本自动化编译,完成代码覆盖率以及功能覆盖率的统计,最终代码覆盖率和功能覆盖率均满足要求。UVM验证平台以及自动化脚本的使用提升了验证效率,对验证流程做了简化,同时保证了验证的完备性。  相似文献   

4.
本文基于验证方法学(VMM),使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境,利用功能覆盖率结果对随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求。结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效地提高了验证效率。  相似文献   

5.
在覆盖率驱动的模拟验证方法中,模拟覆盖率分析时间直接影响模拟验证的效率.针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外,对模拟重放过程进行了改进,提出一种高效的基于VCD文件的模拟覆盖率分析方法.该方法模拟重放时只针对HDL描述中的控制语句进行求解.实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法.实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时,模拟重放效率提高2倍多.  相似文献   

6.
覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效率.文中分析了代码行覆盖次数与功能覆盖率的内在联系,建立了基于代码行覆盖次数的概率模型,提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法--FOCDGAG.通过代码行覆盖次数计算验证输入序列的适应度,选取对提高功能覆盖率贡献较高的输入序列,使用遗传算法自动生成新的输入序列组.实验结果表明,采用FOCDGAG时不需要功能覆盖信息,可以将全随机输入生成的功能覆盖率收敛速度提高10倍以上,将约束随机输入生成的功能覆盖率收敛速度提高20倍以上.  相似文献   

7.
“龙腾R2”微处理器模块级验证   总被引:1,自引:1,他引:0  
靖朋  高德远  黄小平 《计算机测量与控制》2009,17(6):1157-1159,1162
针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高。  相似文献   

8.
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种“闭环”结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性。  相似文献   

9.
设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。  相似文献   

10.
结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用   总被引:5,自引:4,他引:5  
陈辉  申敏  刘树军 《微计算机信息》2006,22(26):113-115
本文首先介绍RVM验证方法学和覆盖率驱动技术,然后详细分析如何使用结合覆盖率驱动技术的RVM验证方法学对SOC(SystemOnChip)进行完备的功能验证,最后探讨如何利用此方法学提高验证的效率。  相似文献   

11.
基于路径覆盖插桩的可执行代码测试工具实现   总被引:1,自引:0,他引:1       下载免费PDF全文
王轶  蒋同海  董军  周喜 《计算机工程》2012,38(5):35-37,40
为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略设计一种针对Java可执行代码的单元测试工具,完成程序执行路径跟踪和覆盖率分析。对测试工具进行功能验证和性能分析,结果表明,该策略能够有效减少插桩点数量,降低插桩对被测程序时间特性的影响。  相似文献   

12.
基于控制流程图的路径覆盖测试的改进方法研究   总被引:1,自引:0,他引:1       下载免费PDF全文
软件测试是当前软件生成重要的研究课题。文中从源程序开始,引入基本块的方法将源程序转换为相应的控制流程图。并采用图形的方法将路径构造相应的自动机,通过对自动机中回边的处理,生成简化的并与之等价的自动机。经过若干变换后,可在自动机上直观地求出路径覆盖的条数和相应的信息。此方法实现路径覆盖的目标,简化路径覆盖生成过程,步骤直观,且减少路径生成数。  相似文献   

13.
刘继华  陈策 《计算机应用》2012,32(11):3075-3081
为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法。实验结果表明,基于变迁的完全路径覆盖准则比基于状态的完全路径覆盖准则更为严格,相应的算法可以产生更优的测试用例集,能更方便地完成软件的连续动态测试。  相似文献   

14.
The use of computer controlled swarms of UAVs for crop spraying enables non-uniform coverage of high precision and time efficiency. For this purpose an algorithmic control method for autonomous UAV swarm spraying, based on multi-agent area coverage method Heat Equation Driven Area Coverage (HEDAC), is proposed. Motion control relies on suitable spraying model which enables of multi-agent spraying simulations for arbitrary agent’s trajectories. The HEDAC control method was tested in comparison with conventional (Lawnmower) and state-of-the-art (SMC) path planning methods on three numerical tests: two based on simple geometries and algebraically defined spraying goal densities, and one based on a real-world crop disease map. Additionally, the effects of spraying tool design (number of nozzles and their spraying density) on spraying accuracy were analyzed, with results consistently illustrating the direct causation between tool precision and overall spraying error. The results of the testing have shown HEDAC control to be significantly faster than Lawnmower (approximately 35%–65% less time needed) and SMC (approximately 15%–50% less time needed) in achieving convergence, while producing spraying density of comparable accuracy. Moreover, HEDAC spraying typically mitigates over-spraying by approximately 3%–8% when compared with conventional path planning. In additional tests, it is shown that an implementation of collision avoidance technique for HEDAC motion control provides collision-free UAV swarm spraying. The effect of HEDAC collision avoidance control on the spraying convergence rate and accuracy is practically insignificant. It may be concluded that in real-world application HEDAC controlled UAV spraying swarms are expected to significantly outperform UAVs operating with existing path planning methods.  相似文献   

15.
Automated path planning is an important tool for the automation and optimization of field operations. It can provide the waypoints required for guidance, navigation and control of agricultural robots and autonomous tractors throughout the execution of these field operations. Typical field operations are repetitively required nearly every cropping season and therefore it should be carried out in a manner that maximizes the yield and minimizes operational cost, time and environmental impact taking into account the topographic land features. Current 3D terrain field coverage path planning algorithms are simply 2D coverage path planning projected into 3D through field terrain represented by the field’s Digital Elevation Model (DEM). When projecting 2D coverage plan into its 3D counterpart, the actual distance between adjacent paths on the topographic surface either increases or decreases, and consequently there might be skips or overlaps between adjacent paths on the slopes. In addition, when the machine rolls on slopes the effective width of the implement decreases by a similar amount to double this error and complicates the problem. Skips and overlaps can lead to an inefficient use of land and resources. In this paper, a numerical approach to estimate the total skip/overlap areas is developed and applied to determine the optimum-driving angle that minimizes this impact. Also, a novel side-to-side 3D coverage path planning approach, which ensures zero skips/overlaps regardless of the topographical nature of the field terrain, is developed. The approaches developed in this paper are tested and validated using a hypothetical test field of a tailored terrain and a real experimental field of uneven terrain nature. The proposed approaches illustrated that a significant percentage of uncovered area could be saved if appropriate driving angle is chosen and if a side-to-side 3D coverage is used.  相似文献   

16.
基于回溯法的全覆盖路径规划算法   总被引:1,自引:0,他引:1  
随着扫地机器人的快速发展,作为其核心技术的全覆盖路径规划技术也变得日益重要。目前已经提出的许多算法,如人工势场法、模板法、单元分解法等,都存在一些问题,如覆盖率低、重复率高、运行效率低等等。针对目前已有算法存在的问题,提出了一种基于回溯法的全覆盖路径规划算法。首先利用West-Move First算法实现局部区域覆盖,然后为了解决扫地机器人局部区域覆盖过程中存在遗漏区域未覆盖的问题,建立了完善的回溯机制,并采用改进的A~*算法规划出一条从死点到回溯点的光滑无障碍路径。通过与BA~*算法进行仿真对比分析,表明了该算法具有更高的运行效率和更低的重叠率。  相似文献   

17.
移动无线传感器网络(WSN)的应用中,因为传感器节点的感知范围受限,其覆盖分析就是一个针对目标区域的扫描覆盖问题。提出了一种基于多目标优化的扫描覆盖算法。在目标区域中,采用双目标优化策略对单个移动传感器节点进行路径规划,一方面使节点的覆盖面最大化,另一方面使扫描覆盖的路径最短。仿真实验在含有障碍物和不含障碍物的情况下进行,与多节点的编队覆盖算法相比,所提算法在适度降低覆盖率的情况下,可大幅降低移动能耗。  相似文献   

18.
为保证机器人的行驶轨迹可以全方位地的覆盖地图的全部坐标点,并降低路径重复率,基于鱼群算法设计智能机器人全覆盖路径规划方法。建立智能机器人死区脱困模型,计算栅格地图模型中的目标活性值,获取整体栅格数量,描述地图中栅格状态,得到脱困时的行驶角度差。基于鱼群算法设计全路径覆盖判定方法,描述不同目标鱼个体之间的距离,在三重移动目标坐标系下,获取元素坐标向量,建立每个目标点的求解代价和,计算下一个目标点行驶的最小距离。设计机器人全覆盖路径规划算法,判断当前位置是否为死区,获取路径规划的全局最优解,实现智能机器人的全覆盖路径规划。利用Matlab仿真软件完成智能机器人全覆盖路径规划实验。结果表明,在简单环境下,该路径规划方法覆盖率为100%,重复率为5.23%,路径长度为15.36m;在复杂环境下,该路径规划方法的覆盖率为100%,重复率则为10.24%,路径长度为20.34m。由此证明,该方法具有较好地规划效果较好。  相似文献   

19.
王仁喜  樊建席  王成  李硕 《计算机工程》2011,37(23):86-88,92
针对无线传感器网络的冗余覆盖问题,在K-覆盖判定算法和部分冗余覆盖算法基础上,提出一种可调冗余覆盖算法。该算法遵循覆盖最大化原则,能降低网络能耗。在可调冗余覆盖算法处理后的高效网络中,给出结合最短路径和最小生成树的最短路径树算法,在网络中构建若干棵以Sink节点为根的最短路径树,进一步降低网络能耗。仿真结果表明,在随机部署网络中,当规定网络覆盖冗余度为2时,2种算法平均可降低能耗20.27%左右。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号