控制依赖相关论文
随着计算机技术的快速发展,软件规模和复杂度也日益增大,随着开发需求的激增,为了降低软件开发的难度,缩短开发周期,研究学者们将......
近年来,随着计算机技术和软件开发领域的迅猛发展,代码克隆检测技术已经在计算机领域成为了一项越来越重要的研究课题。时至今日,......
程序切片是一种程序分析和逆向工程所采用的基本技术。程序依赖图是程序切片中最基础的表示形式,通过程序依赖图可进行控制流、数据......
·Rural opioid use disorder treatment depends on family physicians农村阿片类药物联用的控制依赖家庭医生·Stretching for p......
本文首先介绍了软件测试的一些基本理论知识,并对面向对象软件测试进行了一定的介绍。然后介绍了软件系统回归测试理论。接着结......
随着计算机软、硬件技术的迅速发展,高性能计算逐渐在越来越多的行业中得到应用。并行计算是实现高性能的一种重要的技术途径,其关......
软件测试是保证软件质量的重要手段,随着软件行业的飞速发展,人们越来越认识到软件测试的重要性。其中,集成测试是检测系统各部分......
尽管经过一个多世纪的努力,中国蚊传疾病得到有效控制,但随着全球化、气候变化、病媒生物分布区在不断扩展,蚊传疾病传入风险不断......
在热带发展中国家,由世界银行资助、世界卫生组织实施的一些控制主要寄生虫病和感染性疾病的大型化学治疗计划正在进行中。所在国......
数据的采集和控制是自动化系统的核心,采集和控制依赖的是数据通信。CDMA作为新一代的无线移动通讯方式,正在被各个行业广泛的应用。......
现有程序依赖性分析技术单独考虑数据依赖与控制依赖,忽略了两者之间的联系,不利于提高分析的精度.提出了概率依赖性的概念,分析各......
过程控制的对象有些是复杂非线性系统,其控制依赖于人的智能经验,它们是仅靠常规控制策略难以完成的。本文采用神经学习机制和模糊推......
开发和利用并行性是提高程序执行性能的有效方法之一.传统的处理器主要采用超标量结构和超长指令字结构开发指令级并行性,受到程序......
基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试......
对于广泛的软件维护和测试任务而言,控制依赖信息是很有用的。软件工程中控制依赖通常用来确定一条程序语句语义的变化是否影响其它......
切片技术作为一种软件分析方法,依据系统内部的相关性将问题定位在较少的元素中,有助于提高后续分析工作的效率。UML活动图作为描......
过去,虫害的控制依赖于环氧乙烷熏蒸法。由于这种熏蒸法对健康的危害以及材料的相互作用,一种替代熏蒸法的方法,即控制虫害的一体......
本文提出一种基于分支概率引导的回归测试案例生成方法.首先,通过对程序建模生成程序控制依赖图并计算分支概率,分支概率是指对某......
·Rural opioid use disorder treatment depends on family physicians农村阿片类药物联用的控制依赖家庭医生·Stretchi......
SIMD扩展部件是近年来集成到通用处理器中的加速部件,旨在发掘多媒体和科学计算等程序的数据级并行.控制依赖给发掘程序中的数据级并......
为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC......
程序分片是一种分析和理解程序的技术.系统介绍了程序分片的概念、计算方法及分片工具、应用领域、研究现状和发展趋势等方面的问......
为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法.只需通过分析控制依赖,获得程序整体框架,再从切片点......
依赖关系分析是一种重要的测试、理解、维护程序及并行编译常用的方法。针对由于梯形图复杂依赖关系而导致其并行性不易识别的问题......
为了得到带有异常处理结构的切片,文章从传统控制流图到系统依赖图进行了层层改进,给出了构造系统依赖图的算法,并以此为基础得到......
程序分片在程序理解、调试、维护、测试和集成等许多领域都有广泛的应用.过程间的程序分片是分片技术的难点之一.在总结了现有的过......
本文分析了现有面向对象图形表示方案存在的问题,在此基础之上,提出了基于波动效应分析构造面向对象系统依赖图的方法,通过引入波动效......
提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调......
针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片......
为了加速软件开发,提高软件质量,本文针对开发过程提出了一种改进的有条件切片算法。该算法改造了程序控制流程图,扩充了程序数据......
值替代方法通过查找能够影响失败运行错误输出的语句,并确定这类语句的IVMP(兴趣值映射对)。IVMP是由语句中原错误运行中的值映射......
控制依赖是分析程序和程序并行化的基础。针对现有的计算控制依赖方法的不足,提出了一种改进的算法。该改进算法通过引入函数调用......
为检测Android远程控制类恶意软件,该文通过对实际的该类软件进行分析,提出一种基于控制依赖分析的动态污点检测方法。动态污点分......
IF转换是一种能够充分利用现代微处理器提供的谓词执行功能来提高程序性能的编译手段,它能够将程序中的条件分支代码转换为谓词执......
【正】什么是程序调试?编好程序后,用各种手段进行查错和排错的过程。在软件开发生命周期中,程序调试是最关键的、最耗时和消耗成......
食品包装存在缺陷的后果很严重,会导致召回整批的商业制品。即使在出错率能控制在“千分之几的范围”内,零误差检测也占有明显优势。......
UMI.状态图切片系统是一个基于C++程序UML状态图的切片生成系统。系统生成的LrML状态图切片可应用于C++程序的测试、回归测试、排错、维......
提出一种基于命题演算的二进制代码高级控制结构恢复方法。该方法针对低级指令之间的控制依赖关系进行形式化,将其抽象为命题逻辑......
隐式流对于污点分析方法的准确性有重要影响。为此,提出一种基于程序单静态赋值形式的隐式流检测方法。通过生成控制流图的必经节......
演化测试是一种新兴的极有潜力的测试数据自动生成技术。它通过将测试数据的生成问题转化为搜索问题,并利用进化算法进行搜索从而......
多媒体应用通常具有计算规则、密集、并行度高的特点,SIMD功能部件和SIMD扩展指令集能够对多媒体程序中的数据进行并行处理,可较好地......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......