一种新的过程间静态切片快速算法

针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法.该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程序表示为id UCf五元结构,并在此基础上计算程序的过程间静态切片.实验结果表明,该算法在保证多层嵌套结构程序的静态切片完整性的前提下,充分考虑了函数调用信息,降低了时间与空间复杂度.本算法只计算与切片相关的数据依赖、控制依赖以及函数调用信息,计算复杂度低.

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法 ,该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息 ,利用这些信息能够判断出程序中的多线程可实现路径 ,从而提高多线程程序静态切片的精度和效率 .最后给出一个多线程切片的实例 .

面向对象模型语言MOOL静态切片系统的实现

以一种自定义的模型面向对象语言MOOL为例,采用分层切片和逐步求精的混合算法,使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明,切片后的程序更加简化,对调试程序有一定的辅助作用.

一种改进的并发程序静态切片算法

分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象,认为其原因是该算法对线程间数据依赖的定义过于粗糙,且对程序行为约束不够。该文提出一种新算法,在并发程序内部表示中,增加跨线程边界循环-承载数据依赖,并引入区域化执行证据约束程序行为。实例研究表明,该算法克服了Krinke算法的不精确现象。

一种改进的用于并发程序静态切片的程序依赖图

分析了KRINKE切片算法,发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象,原因是KRINKE算法的数据结构所定义的线程间数据依赖关系过于粗糙,相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系。给出了添加跨线程边界循环-承载数据依赖关系的算法。实例分析表明,作用在新的并发程序依赖图上的切片算法克服了KRINKE算法的切片不精确现象。

考虑实时栈信息的静态切片工具

为了提高静态切片精度,本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测,找出那些确定没有执行的方法或语句,设计并实现考虑实时栈信息的Java程序静态切片工具。实验结果表明,该切片工具进一步减少搜索空间,可以提高普通静态切片方法的精度和效率。

BPEL静态流程切片技术研究

提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。

基于循环变量的静态程序切片分析

本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用了程序的后向切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序中是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。

基于程序依赖图的静态BPEL程序切片技术

传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。

PDG算法在动态切片技术中的应用研究

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用.

面向方面程序的简化动态依赖图切片方法

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.

基于程序切片的软件测试技术初探

程序切片是一种软件调试、测试、理解和维护技术,通过寻找程序内部的相关性来分解程序,从而达到快速错误定位的目的。对程序切片的基本概念、分类、切片准则、切片算法和基于程序切片的软件测试等方面进行了初步探讨。提出了基于程序切片的软件测试的基本方法,并分析了程序切片技术的发展方向和面临的问题。

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片。该算法减少了计算控制流的工作量,避免计算谓词依赖集的过程,减少了存储资源开销,提高了切片的效率。

一种基于程序切片的C语言程序评测方法

由于程序量大,当前针对学生编写程序的评测一般采用判断其输出结果的正误进行判定。这种评测方法机械,导致学生编程关注点偏颇,影响一些初学者的学习热情。本文首先研究了程序切片技术的概念、分类及原理等内容,然后在构建了程序依赖图以及扩展后的系统依赖图基础上,设计了静态程序切片的算法,进而实现了依据不同的切片准则的程序切片。最后通过对标准程序及学生程序的切片模块的比较,在降低了程序的复杂度后完成了对学生程序的评测,通过实例证明了方法的有效,为初学者程序的评测提供了较客观的评测方法。

程序切片技术及其应用的研究

程序切片技术是一种在程序调试、测试、代码理解和软件维护等领域用来分析和理解程序的技术,它具有简化问题、缩小目标范围的特性。首先从程序切片的基本概念演化、切片的分类以及基本应用等方面比较系统地研究了现在已经存在的一些程序切片技术成果,最后总结了程序切片技术存在的一些问题并对其作出展望。

基于循环变量的程序切片分析

本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用程序的动态切片技术,同时结合了程序的静态切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序在特定的情况下是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。

地学空间几何要素发布机理分析

本文以"地学空间信息检索系统"为例,通过不同应用实例分别对地质资料中矢量数据和栅格数据的发布机理进行综合分析研究,以及投影参数统一化、栅格影像数据的静态切片(四叉树切片原理)、图块拼合与编码格式转换等关键技术的引用,解决栅格数据海量效应的同时实现了地质资料大数据的发布、快速缩放浏览、属性解析与空间百度,归纳出了针对不同数据源采取不同方法的特点与优势,提供了极具操作性的技术流程,为后期应用提出了可供参考使用的合理化建议。

基于SPIN的LTL属性分解方法研究

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模型上属性的检测转化成对复杂度较低的子模型上各子属性的分别检测。实验结果表明,该方法具有一定的有效性。