基于事件权重的GUI测试路径生成方法

针对GUI事件驱动特性产生无限多个测试路径的问题,提出在事件流图中考虑事件权重的GUI测试路径生成方法。分析了事件流图模型,采用层次分析法计算事件的权重,通过遍历事件流图生成GUI测试路径。该方法减少了测试路径的数目,生成的测试路径更具有效性,提高了测试效率。     

路径测试中基本路径集的自动生成

路径测试是一种重要的白盒测试技术，具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支，该文测试了基本路径集中的路径，在测试资源有限的情况下得到较好的测试效果，并提出了基于图的深度优先搜索的基本路径集的生成方法，该算法采用的生成子路径的方法可以有效地减少路径生成过程中的搜索过程，提高路径生成的效率。 关键词：     

基于基本路径集算法生成最小长度测试序列的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章基于基本路径集的生成算法,获得不相交路径,并利用测试子序列的一个重要特征—“重叠”来获得连接正收敛边和不相交路径的最小费用迁移路径,从而减少了测试序列的长度。     

一种低成本的测试码自动产生算法

为了降低超大规模集成电路（ＶＬＳＩ）测试中的测试产生和测试应用代价，本文提出了一种低成本的测试码自动产生算法－临界路径跟踪测试产生（ＣＰＴＴＧ）。本文主要从算法的搜索策略、扇出源的临界性确定及测试产生过程中的加速技术三个方面，介绍ＣＰＴＴＧ的主要思想和关键技术。文中给出了ＣＰＴＴＧ对国际通用的１０个组合电路范例的实验结果，表明了ＣＰＴＴＧ可以在较短时间内获得具有较高故障覆盖率的较小测试集。     

一种简化协议路径测试的方法

在协议测试中，设计测试例是主要工作之一，测试例包括了对状态错和数据错的测试，测试状态错要求对状态图中路径进行遍历。基于向量空间的思想，设计了一个生成基本路径集的算法，使得状态图中任何路径都可由基本路径通过线性组合生成，以达到简化协议路径测试之目的，并对此加以了证明。     

基于UML状态图的测试场景生成法

提出了一种基于UML状态图的测试场景生成方法。测试场景从状态图的基本转换路径中产生,一条转换路径对应一个测试场景。文中给出了从UML状态图获得基本转换路径的算法。该算法从状态图中的初始状态到终止状态进行遍历,得到所有的基本转换路径,根据环路复杂度可得到状态图的基本路径的最大数量,即测试场景的最小数量。根据测试场景设计测试用例,可生成较少而有效的测试用例。     

临界路径跟踪—测试产生与故障模拟的一种算法

现有的数字电路测试产生算法,如D-算法、PODEM算法和FAN算法等,几乎都是针对每个给定的故障先求出它的一个测试,然后用故障模拟方法求出该测试所能检测的全部故障。测试产生和故障模拟是分两步进行的。本文提出用临界路径跟踪法进行测试产生和故障模拟,它是从电路的初级输出开始向电路的初级输入进行所谓临界路径跟踪。测试产生和确定该测试所能检测的故障是同时进行的,把测试产生和故障模拟紧密地结合在一起。 和PODEM算法、FAN算法一样,我们限于讨论组合电路中引线s-a-0和s-a-1的单故障。文中详细叙述了临界路径跟踪的策略,保证求得的测试集能覆盖电路中全部可测故障。测试的总数最多不超过电路中每个门单独的测试数的总和。     

基于变迁的完全路径覆盖测试

为解决基于状态节点搜索的完全路径覆盖所产生的测试用例数过多和难以实现连续测试的问题,提出了一种基于变迁的完全路径覆盖测试准则,并设计和实现了一种深度优先搜索与宽度优先搜索相结合的基于变迁完全路径覆盖测试用例自动生成算法。实验结果表明,基于变迁的完全路径覆盖准则比基于状态的完全路径覆盖准则更为严格,相应的算法可以产生更优的测试用例集,能更方便地完成软件的连续动态测试。     

软件自动化测试中热点路径的研究

在面向路径的软件测试中,对于大型系统将会产生海量的静态路径,测试人员很难对所有路径进行完全测试。本文提出热点路径的思想,运用该思想可以在繁多的静态路径中迅速找到容易引起程序缺陷的路径,通过热点函数树形化可以对热点进行快速定位显示,给软件测试人员带来更多的便捷,提高测试效率,降低测试成本。     

基于Petri网的并发程序测试用例产生方法

并发程序的测试路径具有不可预测性,而Pctri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过Petri网来产生并发程序的测试路径:对有并发程序的源代码构造的Petri网模型进行图形矩阵转换;按照一定的规则得出相应的独立段组;合并独立段组得出网的独立段群,此独立段群即为该并发程序的测试路径。实验证明,将Petri网用于并发程序测试用的例生成降低了测试难度,提高了测试效率。     

机构轨迹生成理论研究进展

在给出机构轨迹生成问题的描述模型的基础上,论述了该问题的基本内涵和主要研究内容．结合作者的研究成果,分别从分析、综合与创新方法三个方面系统地总结了机构轨迹生成理论的研究进展．(1)阐述了机构轨迹分析的基本要求和分类标准,给出了三类轨迹分析方法及常用轨迹偏差度量函数;(2)概述了机构轨迹直接综合方法和间接综合方法的研究进展,并根据机构轨迹综合方法的几个评价标准对这两种方法进行了分析与比较;(3)提出了基于轨迹生成的机构创新设计方法,并对其中的若干关键单元技术进行了说明．最后,展望了轨迹生成理论今后的研究方向和发展趋势．     

基于Z-map模型的自由曲面无干涉刀具轨迹生成算法研究

刀具轨迹生成是自由曲面零件数控加工中重要的研究内容.本文分析了自由曲面数控加工中常用的刀具轨迹生成策略和方法,设计和实现了一种基于Z-map结构的自由曲面无干涉刀具轨迹生成算法.本算法采用进化算法进行刀具干涉检测,不仅解决了生成刀具轨迹时因走刀步长不合理而产生的过切问题,而且也确保了生成的刀具轨迹为无干涉刀具轨迹.     

改进A*算法的机器人全局最优路径规划

针对传统A^*算法规划的路径存在很多冗余点和拐点的问题,提出了一种基于A^*算法改进的高效路径规划算法。首先,改进评价函数的具体计算方式,减小算法搜索每个区间的计算量,从而降低寻路时间,并改变生成路径;其次,在改进评价函数具体计算方式的基础上,改进评价函数的权重比例,减少生成路径中的冗余点和拐点;最后,改进路径生成策略,删除生成路径中的无用点,从而提高路径的平滑性;此外,考虑到机器人的实际宽度,改进后算法引入障碍物扩展策略保证规划路径的可行性。将改进A^*算法与三种算法进行仿真对比,实验结果表明,改进后的A^*算法规划的路径更加合理,寻路时间更短,平滑性更高。     

Unified mechanism synthesis method of a planar four-bar linkage for path generation employing a spring-connected arbitrarily sized rectangular block model

In the present study, a unified mechanism synthesis method that carries out type and dimensional syntheses simultaneously is proposed to solve path generation synthesis of a planar four-bar linkage. A spring-connected arbitrarily sized rectangular block model is introduced and an optimization problem using the block model is formulated. Several path generation synthesis problems are successfully solved with the proposed method. It is verified that the proposed method is computationally more efficient than the previous method employing a constant size block model. Furthermore, the proposed method is shown to solve some path synthesis problems that could not be solved by the previous method. Finally, an index to define the level of difficulty of a path generation synthesis problem is proposed, and the index limit value of path generation problems that can be solved by the proposed method is obtained.     

基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成

可扩展有限状态机(EFSM)模型的测试用例生成包括测试路径生成和测试数据生成两部分。然而,目前针对EFSM模型的测试研究大多集中于测试路径生成。为探索路径上测试数据的自动生成,提出一种面向EFSM路径的测试数据生成方法,利用禁忌搜索(TS)策略实现了EFSM测试数据的自动生成;分析了影响EFSM测试数据生成的关键因素,并与遗传算法(GA)的生成效率进行了比较。实验结果表明：基于TS算法的EFSM模型测试数据自动生成是确实可行的,其测试生成效率相对于GA有很大提高。     

A Complete Critical Path Algorithm for Test Generation of Combinational Circuits

It is known that critical path test generation method is not a complete algorithm for combinational circuits with reconvergent-fanout.In order to made it a complete algorithm,we put forward a reconvergent-fanoutoriented technique,the principal critical path algorithm,propagating the critical value back to primary inputs along a single path,the principal critical path,and allowing multiple path sensitization if needed.Relationship among test patterns is also discussed to accelerate test generation.     

基于路由机制的变权网络路径快速生成算法

在大规模交通流仿真中,车辆个体路径生成环节存在着大量重复计算。为避免重复计算及提高车辆个体路径生成速度,将计算机网络中的路由机制引入到交通流仿真中,提出一种基于路由机制的变权网络路径快速生成算法,即把每个道路路口节点作为路由器,分解并存储原本与车关联的路径作为指路信息。仿真车辆通过访问该指路信息获取下一步行车方向,并且当路网权值发生变化时,能及时响应路网的动态变化,从而给出求实时路况下仿真车辆行驶路径的一种方法。     

基于模型代数的基本路径集的自动生成

路径测试是一种根据路径设计测试用例的白盒测试技术,而 基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法。该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集。最后通过经典案例证明了该方法的有效性。     

A corner-looping based tool path for pocket milling

In milling around corners, cutting resistance rises momentarily due to an increase of cutter contact length. NC tool path generation in dealing with sharp corners thus requires special consideration. This paper describes an improved NC tool path pattern for pocket milling. The basic pattern of the improved tool path is a conventional contour-parallel tool path. Bow-like tool path segments are appended to the basic tool path at the corner positions. When reaching a corner, the cutter loops around the appended tool path segments so that corner material is removed progressively in several passes. By using the corner-looping based tool path, cutter contact length can be controlled by adjusting the number of appended tool path loops. The procedures of creating the improved tool path for different corner shapes are explained. The proposed tool path generation was implemented as an add-on user function in a CAD/CAM system. Cutting tests were conducted to demonstrate and verify the significance of the proposed method.     

考虑物理特征的避障路径生成算法

自然、逼真的避障路径生成算法在仿真、游戏等领域有广泛应用。避障路径与障碍物的形状尺寸、运动物体的尺寸、转弯半径等物理属性密切相关。在综合考虑上述物理属性后,提出了一种避障路径生成算法。基于三次Hermit样条曲线的优异特性,算法生成的避障路径不仅具备C2连续性,而且还能保证新路径和原路径的连接具备G1连续性。算法被应用于某三维战场仿真系统,效果良好。