基于节点占优关系的目标路径选择方法研究

来源 :中国矿业大学 | 被引量 : 0次 | 上传用户:yuwen0702
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
影响路径覆盖测试消耗的因素很多,不仅包括所需覆盖的路径数目,也包括路径的覆盖难易程度,还包括测试数据的生成效率。目前,已有许多文献针对测试数据生成方法进行大量研究,但是很少看到针对目标路径选择方面的研究成果。本文基于路径覆盖测试对目标路径的选择方法进行研究,通过选择少量具有代表性的可达完整路径,达到降低路径覆盖测试消耗的目的。本文从串行程序和并行程序两个方面进行路径选择的方法研究。第一,针对串行程序,通过分析节点之间的占优关系,提出基于占优关系的目标路径自动生成策略。首先,静态分析待测程序的节点和控制边的信息;然后,对节点的数量特征和相互关系进行分析,包括节点的出度值和入度值的计算,待测程序的必经节点、非被占优节点以及对应的占优节点集的生成,并分析非被占优节点之间的相关性以及生成相似邻接矩阵;最后,利用排列组合的方法,给出满足条件的非被占优节点集的不同组合方式,并针对非被占优节点集的组合情况,自动生成对应的完整路径。第二,在串行程序的研究基础上,针对消息传递并行程序,提出基于拉丁超立方采样的目标路径自动选择方法。首先,将并行程序拆分成不同的进程,每个进程看作一个串行程序;然后,分析不同调度序列下同一进程的非被占优节点的相关性和相似邻接矩阵;最后,利用超立方采样的方法,针对非被占优节点进行采样,选择出满足条件的非被占优节点集的不同组合,并针对其非被占优节点集的组合情况以及对应的调度序列,自动生成对应的完整路径。实验研究表明,针对串行程序,本文提出的基于占优关系的目标路径自动生成策略,在保证所有路径可达的情况下,选择出的目标路径条数明显少于两种传统方法,路径数缩减率甚至高达52.4%;针对并行程序,提出的基于拉丁超立方采样的目标路径选择策略,在保证路径可达的情况下,路径数缩减率约为37.5%;本文提出的路径选择方法,不仅可以减少待覆盖的目标路径数目,还可以保证所选路径的可达性;最终达到降低路径覆盖测试消耗的目标。
其他文献
波达方向(Direction of Arrival,DOA)估计被广泛应用于雷达、通信、电子侦察等众多领域,是当前阵列信号处理最主要的研究热点问题。对于无线移动通信系统来说,用户的有效位置信息对于信息的准确可靠的传输有着至关重要的作用,而DOA估计可以实现用户来波方向的角度参数估计,给出具体位置信息。目前,大规模MIMO技术由于其突出的优势被应用到5G移动通信当中,为通信系统带来了更高的传输速率,
姚佺是明清之际浙江的一位遗民诗人,同时也是一位诗歌选家。他生活在甲申国变、满清代汉的特殊历史时期,因而他的人生经历和选诗取向被打上了鲜明的时代烙印。也由于明清之际
无线通信系统中频谱资源有限,面对不断增长的数据速率的需求,如何提升频谱效率、增强传输可靠性成为新一代无线通信需要解决的关键问题。全双工技术同时同频发送和接收信号,理论上能使频谱效增加一倍。无线通信系统中以协作方式工作的中继技术,可以有效抵抗信道衰落,增强小区覆盖。全双工双向中继集成了全双工和中继技术的优势,但同时其带来的自干扰限制了性能的提升,因此,本文旨在研究全双工双向中继系统的中继策略。针对不
移动互联网和云计算的蓬勃发展,涌现出了大量基于移动云平台的应用服务。用户在使用移动云服务的过程中将大量用户数据信息存放在云端,因此在获得丰富的移动云服务的同时,也
伴随着现代生物领域相关技术的快速发展以及信息科技的进步,进行身份验证的技术已经慢慢的转到了基于生物特征层面的识别。其中,人脸作为生物特征识别领域最重要的研究方向,得到了越来越广泛的重视。和传统的身份鉴定方法不同的是,现今的识别技术主要依靠计算机与高科技手段,通过待识别个体独一无二的特性实现身份的判定,譬如DNA。而人脸作为人体的一种外在的根本属性,其优势不言而喻。但在实际应用中由于人脸在光照变化,
随着电子技术的发展,越来越多的可移动式设备出现在人们的生活中。为了方便可移动设备的联网,国际电气和电子工程师协会工作组制定了无线局域网的规范802.11协议。然而,原有
作为数字图像处理的重要组成部分,图像分割一直受到不少国内外学者们的关注。一方面,特定类的图像往往存在丰富的信息,通过相机等设备获得的图片可能受到污染,光线不均匀的影
氮化镓(GaN)材料广受科学界的重视,目前已是半导体研究的重要热点之一。如今,由于GaN材料具有宽的直接带隙、高临界场强和高发光效率等特性,使得它成为了光电领域中不可缺少的材料,GaN光电器件在诸多领域中的应用价值也都非常之大。本文用分子动力学模拟方法,并结合多种微观结构表征方法,例如径向分布函数(Pair Distribution Function,PDF)与可视化技术,模拟了多个冷速与多个压强
讲社源于城乡中集团参拜的组织,经过发展之后形成了经济互助、教育及行政等不同功能的讲社组织。讲社集团在战后其规模和数量都大幅缩水,然而直至今日仍然有不少讲社集团在发挥着自己的作用。本文基于笔者对福冈县太宰府天满宫飞梅讲社及崇敬会相关人士的采访调查和对太宰府天满宫社报《飞梅》的文献分析,并结合共同体的理论,从地域性、共同性与领域性、公共性的角度,解析处于地域共同体面临崩溃的大环境中的飞梅讲社与崇敬会的
近年来,新兴体域网技术在医疗康复监测、影视及游戏制作、专业动作分析等领域得到广泛关注和应用。当前相关研究大多采用稀疏表示分类算法解决体域网动作模式识别问题,但其中