基于DDGRAPH图的路径覆盖研究

软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而路径选择的自动生成是软件测试的关键技术之一。路径覆盖是软件测试中一种十分重要的方法,它使程序的每个分支至少执行一次。文中通过对DDGRAPH图的分析,提出了DDGRAPH图中弧的支配树和蕴含树的表示方法,然后给出由支配树和蕴含树确定非限制弧的方法,通过近似最少谓词覆盖策略以确定覆盖所有非限制弧的路径测试子集。     

基于DDGRAPH图的路径覆盖研究

软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而路径选择的自动生成是软件测试的关键技术之一.路径覆盖是软件测试中一种十分重要的方法,它使程序的每个分支至少执行一次.文中通过对DDGRAPH图的分析,提出了DDGRAPH图中弧的支配树和蕴含树的表示方法,然后给出由支配树和蕴含树确定非限制弧的方法,通过近似最少谓词覆盖策略以确定覆盖所有非限制弧的路径测试子集.     

路径覆盖自动生成技术研究

路径覆盖是路径测试最重要的课题之一。文章给出了ddgraph图的支配树、蕴含树和非限制弧的构造方法,提出了一种基于最小路径测试子集的寻找单个测试路径算法,该算法可有效地生成从入口到出口且覆盖非限制弧的路径子集,并给出了具体的应用实例。     

一种路径覆盖自动生成的改进方法

路径覆盖是考察软件测试充分性的一种重要准则，它使程序的每个分支至少执行一次。该文通过对DDGRAPH图的定义及相关概念的分析，对构建DDGRAPH图及支配树、蕴含树、非限制弧的方法进行了改进。通过具体的应用实例对比了改进前后的方法，改进后的方法可以减少生成的路径数，用更少的测试用例发现更多的错误。     

非并行二分法的覆盖空洞修复算法

针对无线传感器网络覆盖空洞影响网络服务质量问题，提出非并行二分法的分布式覆盖空洞修复算法CHRND，算法采用非并行方式选择具有劣弧的空洞边界节点作为覆盖空洞修复的驱动节点，采用基于弧二分法确定移动节点最佳目标位置。仿真实验结果表明，移动节点引入使得空洞不被分割基础上，CHRND算法能以较少数量移动节点实现覆盖空洞的完全修复。     

一种改进的移动机器人全局路径规划算法

基于移动机器人的安全考虑，提出了一种改进的可视图法。该方法用尽可能远离障碍物的路径表示弧，先确定可能的路径点作为节点，然后考虑可能路径，建立结点间的弧，并用Dijkstra算法求出图中的最短路径。最后通过仿真研究表明，用文章提出的方法规划的路径可以达到或接近最优路径。     

车辆配送路径轨迹弧长偏差可视化校正仿真

由于车辆配送路径轨迹偏差会延长货品配送时间,影响物流服务质量。针对传统配送路径轨迹偏差校正方法校正性能不足的问题,提出一种基于GPS和地图匹配的车辆配送路径轨迹弧长偏差可视化校正方法。利用GPS定位目标物流车辆当前所在位置,并将所得到的位置信息显示在电子地图上;将电子地图上所显示的路径轨迹与规划的地图道路进行匹配,确定偏差范围;根据偏差范围,进行路径偏差校正。实验结果表明,与三种传统配送路径轨迹偏差校正方法相比,利用所提方法进行车辆配送路径轨迹弧长偏差可视化校正,得到的校正路径与规划路径之间的拟合优度更接近1,且车辆配送效率较高,由此说明该方法校正性能更强。     

无位置信息的无线传感器网络漏洞发现算法*

无线传感器网络广泛应用的前提是能够检监测目标区域特定事件的发生。而节点能量受限、难补给的特点导致监测性能难以保证,造成监测盲区出现。针对无线传感器网络节点的地理位置信息未知的情况进行了研究,提出覆盖漏洞发现算法CHDA (Coverage Holes Discovery Algorithm),在以节点为极点建立的极坐标中计算出相邻节点的相对位置信息和该节点被其邻居节点覆盖的边缘弧的信息,并且根据节点的单纯覆盖弧序列的定义计算出节点被其邻居节点覆盖的单纯覆盖弧序列,从而得到网络中的覆盖漏洞。覆盖漏洞的发现克服的地理位置信息未知的限制,为漏洞的修补提供了必要的前提条件进而保证传感器网络的覆盖率。     

求带多个限制条件的单源多权最短路径算法

带限制条件的多权最短路径问题具有广泛的应用。本文给出一个通过按字典序生成从源顶点到目标顶点的非支配路径的方法，求出满足限制条件的最短路径的算法，并且分析了算法的时间复杂度。     

利用非确定性DHT解决覆盖网络的非传递连通问题

为了解决网络中广泛存在的非传递连通（NTC）问题,提出了一种利用非确定分布式哈希表（DHT）解决覆盖网络的NTC问题的方法,通过解除底层节点ID与逻辑空间位置的对应关系,避免了NTC节点对网络结构的影响,同时利用重定向路由机制实现网络的消息路由。仿真结果表明,非确定DHT能够有效地解决覆盖网络的NTC问题。