动态程序切片研究及其应用

动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。

一种简化依赖关系的动态程序切片算法

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.

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

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

状态图描述的动态切片技术

众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。

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

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

程序切片技术在并发程序模型检查中的应用

模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则,并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。