程序切片相关论文
随着计算机软件的蓬勃发展,软件漏洞的数量也飞速猛增。漏洞修复成为越来越重要的问题,传统的代码审查对于软件从业人员专业素养要......
通常软件测试中大部分工作是耗时耗力,其中最代价最高的是错误的定位,而在错误定位上的技术改进能降低测试的工作负荷。目前程序错......
代码迷惑技术是一种最有前途的程序代码保护技术之一。已有的反代码迷惑技术一般都是针对汇编语言程序代码或者Java语言程序代码设......
程序切片是一种通过程序的数据流和控制流来分解程序的一种方法。Petri网提供了一种用于建模和验证并发系统行为的一种手段。Minix......
概念关联可以从程序中提取具有领域知识和语义内聚度的概念片段.把概念片段用于程序切片准则可以生成具有领域概念的切片,但切片准......
在某个测试用例GTC的驱动下，程序的执行结果与预期结果不符，需进行错误定位.首先根据测试用例与测试需求的关系，得到和GTC覆盖相同需......
利用分支函数极小化,生成给定路径的测试数据,需计算路径上谓词中变量的当前值.文中基于谓词的程序切片自动生成算法,以相应的切片......
代码复用可以有效缩短软件开发的时间,而代码搜索是代码复用的主要途径.提出了一种基于程序切片和BiGRU的代码搜索方法,该方法通过......
程序切片是一种程序分析和逆向工程所采用的基本技术。程序依赖图是程序切片中最基础的表示形式，通过程序依赖图可进行控制流、数据......
测试作为软件开发过程中的一个重要环节,是保证软件质量的重要保证。对白盒测试(结构测试)和测试用例的生成来说,如何选择测试路径......
该文针对C++语言的特点,深入分析了面向对象机制所引发的各种关系,提出用于软件理解的OO程序的波动概念,建立了一种波动分析模型,......
Ada是美国国防部主持研制的一个面向嵌入式系统的三军通用大型程序设计语言,它集中了世界上几乎所有著名程序设计语言与软件专家的......
COBOL系统在金融领域应用非常广泛，包含大量核心商业逻辑。但是由于系统存在的年代较久远，几乎没有最新文档，且COBOL程序员越来越稀缺......
软件测试技术因其在软件质量保障方面所起的重要作用以及在整个软件开发成本中所占的很大的比重而受到学术界和工业界越来越多的关......
程序切片是一种程序分析和程序理解技术,它通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的......
近年来,随着计算机应用领域的迅速扩大,计算机软、硬件技术的不断涌现,人们对软件质量提出了新的更高的要求,但是却没有很好的度量......
随着社会对软件需求的不断增长,正在使用和开发的软件数量与日俱增,许多软件的规模变得越来越大,这些软件的维护问题成为了当前软......
本文将切片技术应用于软件体系结构中,针对软件体系结构的特点,根据传统的程序依赖图和系统依赖图的构建思想,提出了体系结构元素......
显式并行程序中通信模式的抽取，对于并行程序性能调优具有重要的意义。很多与并行程序性能相关的优化都需要对通信特征进行分析。另......
现今,随着软件规模的扩大与软件需求的频繁变动,使得软件开发变得越来越复杂,敏捷开发思想的提出,在一定程度上减轻了开发人员的负......
Linux内核代码量大、逻辑关系复杂,因此对内核中的错误进行追溯和调试一直以来都是一件既耗费时间又耗费精力的事情。已有的错误追......
随着Internet/Intranet发展,Web应用领域扩大,XML已成为面向Web的网络语言.基于XML信息抽取成为与Web语义相关的重要研究课题.该文......
在研究现有控制流分析理论的基础上,该文采用基于图论的方法求取控制依赖关系,该方法具有很好的可扩展性和通用性.它主要是通过将......
软件测试是软件开发周期中重要的一环，用于检测软件存在的故障和缺陷，是保证软件健壮性和安全性的主要途径之一。随着软件的复杂性和......
该文致力于完成面向对象程序(C++)切片工具中数据依赖图的构造,因为数据依赖图的构造可以归结到程序中到达-定值信息的求解,所以该......
在软件项目的开发中,利用已有的遗产软件系统服务于新的业务需求,已经成为软件工程的一个发展方向.基于此,对现有遗产软件进行维护......
程序切片技术是一种分解程序的技术,可将一个复杂的大程序根据需要分解成满足计算需要的小程序,同时保持所选程序功能的相对完整性......
程序切片是一种程序分解技术。因目前切片方法缺乏模块性和灵活性,我们实验室曾提出一种新的形式化切片方法——模块单子切片。目......
软件测试作为保证软件质量,提高软件可靠性的重要手段,在软件开发过程中起着不可替代的作用,而测试数据生成则是软件测试的核心与......
随着软件产业的发展，遗产软件日益增多，软件再工程已经成为一个重要的研究领域。系统理解是软件再工程的基础，可以弄清一个程序“做什......
程序切片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称......
程序切片是一种分析和理解程序的技术，通过分析程序语句之间的依赖性关系自动分解源程序。程序切片技术被广泛应用于程序理解、调试......
计算机语言是计算机与使用者之间的通讯语言。是计算机与其使用者之间信息传递的媒介。 计算机语言的发展经历了最初的低级语言......
随着数据库技术的发展和网络的普及,大量的数据被存放在异构数据库中,不利于数据的共享;而越来越多的信息系统需要共享异构数据库......
随着计算机技术的发展和软件系统规模的扩大，现有软件系统往往积累了大量的行业知识，包括系统需求、业务规则和设计决策等，因此对软件......
程序切片是一种重要的程序分析技术，用于从原有程序中抽取对特定程序点上特定变量有影响的成份以构成新程序，通过分析这种新程序(称......
随着计算机技术的发展,软件与人们的联系越来越密切,软件质量的重要性不言而喻。当软件发生失效后,如何自动定位软件故障是一个非......
程序切片技术是一种重要的分析和理解程序的技术，具有简化程序，缩小目标范围的特点。程序切片在程序调试、软件维护、测试、度量、逆......
Web服务以易用性、后台代码透明性、平台无关性等优势获得了更多普及度,也使得更多攻击者将注意力放在针对web服务的攻击方面。为......
软件度量是保证软件质量的重要方法,一个好的度量方法会给软件工业生产带来巨大便利,同时带来不可估量的经济效益。程序切片技术是......
随着信息时代的来临,社会对软件的需求迅速增长,各种类型的、复杂多变的软件与日俱增,而这些软件大部分是用高级语言编写的,但绝大......
程序调试是软件开发过程中最关键的环节之一，调试的开销将直接影响到软件的成本和软件公司的收益。对于程序员来说，调试也是一个非常......
软件测试作为软件生存周期中的重要阶段，对于发现、纠正软件错误以及保证软件质量具有重要意义。程序切片是一种程序分析理解技术，具......
软件的规模和复杂度越来越高,大大提高了软件漏洞挖掘的难度。人们知道软件的版本更新指示了旧版本中存在某些缺陷或修改,如何开发......
