导读:本文包含了可达性测试论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:可达性,测试,序列,程序,多线程,伯恩斯坦,网格。
可达性测试论文文献综述
陈伟[1]（2016）在《基于扩展同步序列的Java多线程程序可达性测试方法探讨》一文中研究指出随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在Java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列的Java多线程程序可达性测试,探讨基于扩展同步序列的可达性测试方法,旨在为我国计算机程序的编写和测试提供参考。(本文来源于《电子世界》期刊2016年13期）
孙小淋[2]（2014）在《基于扩展同步序列的Java多线程程序可达性测试思路构建探索》一文中研究指出针对Java程序的并发性特点,应用可达性测试是一种有效的方法。但是,为了克服Java多线程程序在应用可达性测试的过程中,所产生的局限性和不能实现对事件的同步检测,或者同步检测错误等问题,需要应用一种基于扩展同步序列的可达性测试方法。(本文来源于《计算机光盘软件与应用》期刊2014年04期）
伍要田[3]（2012）在《网络可达性测试及其工具的研究与实现》一文中研究指出测量网络端到端的可达性对于整个网络的故障检测,安全管理以及设计具有非常重大的意义。目前已经存在一些可达性测量工具和方法,但是,由于计算机网络本身的高复杂性以及缺乏先进的网络可达性测试工具,网络管理仍然非常困难。因此,寻求一种方便实用的自动化网络可达性测试工具,成为计算机网络中亟待解决的问题。本文对网络可达性测量方法及其工具设计展开研究,主要工作如下：一、研究网络中多防火墙策略差异检测问题。配置在网络中的各个防火墙策略通常存在差异,导致防火墙策略组合成的总体决策错误。针对多防火墙策略差异自动检测问题,提出一种多防火墙策略匹配树模型,并基于该模型提出了一种多防火墙策略差异检测算法。该算法将防火墙策略转化为一棵策略匹配树,通过对多个防火墙策略匹配树进行比较来进行差异检测。实验结果表明该算法降低了多个防火墙策略之间的差异检测的平均时间。二、研究网络中端到端的可达性测量问题。针对网络可达性测量问题,建立了综合性的网络可达性模型,提出一种网络可达性测试算法；根据网络中不同协议的特点,构建了六种不同的网络可达性矩阵；最后结合所提出的算法与所构建的网络可达性矩阵,提出一种网络可达性测试方案。实验结果表明,该方案能有效测量网络中端到端的可达性。叁、结合以上研究工作,使用VC++语言,以及MFC应用程序调用动态链接库的方式设计并实现了一个网络可达性测试系统工具,验证所提出的算法的可行性。网络可达性测试工具能够正确实施实时监控审核网络可达性、减少传统网络可达性管理办法所消耗的时间。实验表明,网络可达性测试工具的离线计算只需少量的时间,为本文所提出的网络可达性方案研究提供了有效的评估手段。(本文来源于《湖南大学》期刊2012-04-13）
金虎,李志蜀,陈良银,李勇军,李斌[4]（2007）在《启发式学习自动化程序指令的可达性测试》一文中研究指出为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索。实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试。(本文来源于《四川大学学报(工程科学版)》期刊2007年04期）
王艳臣,李必信,戴君[5]（2006）在《基于扩展同步序列的Java多线程程序可达性测试方法》一文中研究指出为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.(本文来源于《东南大学学报(自然科学版)》期刊2006年06期）
孙玉霞,陈火炎[6]（2006）在《一个用于Java程序可达性测试的改进方案》一文中研究指出Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能。最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系,进而减少不可行的同步序列,并介绍了相应的实现算法和数据结构。(本文来源于《微计算机信息》期刊2006年18期）
丁宁[7]（2006）在《异步消息通信环境下并发程序的可达性测试研究》一文中研究指出随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。但是由于并发行为的复杂性以及不确定性,使得并发程序的开发、测试和维护比传统的顺序程序困难的多。可达性测试是一种结合了确定性测试和非确定性测试的新的并发程序测试方法。若一个并发程序在某个特定输入数据集下可行的同步序列是有限的,则采用可达性测试方法可以实现对所有可行的同步序列的完全覆盖。可达性测试过程分为两个阶段:第一步,对非确定性测试得到的同步序列中存在的竞争条件进行识别;第二步,改变竞争条件,生成该同步序列的竞争变体,然后通过执行基于前缀的测试产生新的同步序列。这两个阶段不断迭代,直到没有新的序列生成为止。对基于异步消息传递的并发程序,现有的可达性测试方法没有考虑程序中存在的条件同步现象,导致测试过程中产生了不可行的同步序列。改进的可达性测试方法采用基于竞争依赖的路径约束(RDBC),通过改进了S/V图的生成树的路径约束条件,对条件同步情况进行了正确处理。在RDBC的基础上,实现了可达性测试的竞争变体生成算法。改进方法采用的是动态测试策略,无需建立静态模型,也不必记录任何已执行的同步序列的信息,并且改正了原有方法在存在条件同步时生成重复序列的缺点。实验表明该改进方法是正确有效的。(本文来源于《华中科技大学》期刊2006-04-01）
王巍,杜翠兰,张宏莉[8]（2006）在《异构网络环境下的并行程序可达性测试算法》一文中研究指出针对不确定性并行程序难于测试的问题,分析了并行程序消息传递行为与网格环境中网络性能约束之间的关系,在经典可达性测试算法的基础上,提出了新的限定性可达性测试算法,称为基于网络性能约束的可达性测试算法。本算法在考虑网络性能约束的基础上,只对发生频率高的执行路径进行测试,缩减了待测试路径的数量,提高测试效率,在此基础上尽可能保证测试的完全性。(本文来源于《通信学报》期刊2006年02期）
王巍,方滨兴,张宏莉[9]（2005）在《网格环境下的限定性并行程序可达性测试算法》一文中研究指出并行程序执行行为的不确定性使得测试并行程序十分困难。可达性测试是一种系统的测试方法, 可以对不确定性并行程序进行完全测试。但是传统可达性测试会生成大量的测试路径,在实际应用中会产生的开销过大, 难以用于实际应用中。在并行程序测试过程中考虑一些外部条件约束会提高可达性测试的效率。本文通过分析并行程序消息传递行为与网格环境中网络性能约束之间的关系,提出了新的限定性可达性测试算法,称为基于网络性能约束的可达性测试算法。本算法在考虑网络性能约束的基础上,只对发生频率高的执行路径进行测试,缩减了待测试路径的数量,提高测试效率,在此基础上尽可能保证测试的完全性。(本文来源于《全国网络与信息安全技术研讨会'2005论文集（上册）》期刊2005-08-01）
李天科[10]（2005）在《Ping程序在网络可达性测试中的应用》一文中研究指出为了深入理解并全面掌握ping程序在网络测试中的应用,以下结合ping程序的原理对其功能进行了深入探讨。由此可见Internet中的某台主机能被ping通,但并不能由此肯定该主机就能被访问,而ping不通也并不意味着该主机就不能被访问。同时也发现应用ping程序对网络进行可达性测试时,对网络的安全也构成一定的威胁。(本文来源于《吉林广播电视大学学报》期刊2005年02期）
可达性测试论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对Java程序的并发性特点,应用可达性测试是一种有效的方法。但是,为了克服Java多线程程序在应用可达性测试的过程中,所产生的局限性和不能实现对事件的同步检测,或者同步检测错误等问题,需要应用一种基于扩展同步序列的可达性测试方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可达性测试论文参考文献
[1].陈伟.基于扩展同步序列的Java多线程程序可达性测试方法探讨[J].电子世界.2016
[2].孙小淋.基于扩展同步序列的Java多线程程序可达性测试思路构建探索[J].计算机光盘软件与应用.2014
[3].伍要田.网络可达性测试及其工具的研究与实现[D].湖南大学.2012
[4].金虎,李志蜀,陈良银,李勇军,李斌.启发式学习自动化程序指令的可达性测试[J].四川大学学报(工程科学版).2007
[5].王艳臣,李必信,戴君.基于扩展同步序列的Java多线程程序可达性测试方法[J].东南大学学报(自然科学版).2006
[6].孙玉霞,陈火炎.一个用于Java程序可达性测试的改进方案[J].微计算机信息.2006
[7].丁宁.异步消息通信环境下并发程序的可达性测试研究[D].华中科技大学.2006
[8].王巍,杜翠兰,张宏莉.异构网络环境下的并行程序可达性测试算法[J].通信学报.2006
[9].王巍,方滨兴,张宏莉.网格环境下的限定性并行程序可达性测试算法[C].全国网络与信息安全技术研讨会'2005论文集（上册）.2005
[10].李天科.Ping程序在网络可达性测试中的应用[J].吉林广播电视大学学报.2005
论文知识图
