一种JAVA语言的程序分片技术.docVIP

论文分类号： TP31 单 位 代 码 10183 密 级： 内 部 研 究 生 学 号 2001532091 吉 林 大 学 硕 士 学 位 论 文 一种JAVA语言的程序分片技术 A Technique of Program Slicing Based on JAVA 作者姓名：潘海燕 专 业：计算机应用技术 导师姓名 张长海 及 职 称 教 授 论文起止年月：2002年10月至2004年4月 提 要 程序分片是一种程序抽取技术，它对于程序理解、程序分析和软件工程等领域有很重要的作用。自从程序分片被提出以后，一直是人们研究的重点，针对它的方法也有很多。目前程序分片的重点已经转移到针对不同的语言的分片技术，以及程序分片形式的多样化中。但是由于各种语言的机制不同，分片的技术也不相同。针对面向对象语言的分片还没有很完整的方法，工具更少。同时条件分片是新提出地概念，它的技术还不是很成熟，特别是国内对这方面的研究还很少。 我们研究了针对JAVA语言的静态分片技术以及条件分片技术。静态分片技术是在已有的方法基础上进行了改进，基本实现了面向对象语言的特殊机制。条件分片技术是我们下一步研究的重点，在本文中我们提出了类似于部分求值技术的方法，并给出了形式化的描述。两种分片技术通过结合，可以得到条件分片的结果。 本文提出了JAVA语言的静态分片和条件分片算法，实践表明这些技术是可行的，它为进一步研究JAVA语言的异常和多线程以及条件分片奠定了基础。目 录 第一章 前 言 1 1．1 程序分片 1 1．2 程序分片技术的发展史 1 1．3 程序分片的分类 1 1．4 程序分片的应用 4 1．5 研究的现状 4 1．6 预备知识 6 1．7本文完成的工作 7 第二章 程序分片方法 9 2．1 数据流等式方法 9 2．2 图的可达性方法 10 2．3 面向对象的分片 10 第三章 条件分片 11 3．1 条件分片的概念 11 3．2 条件分片的应用 11 3．3 条件分片的方法 12 第四章 JAVA语言的静态分片系统实现方法 13 4．1 JAVA 语言的静态分片准则 13 4．2 系统采用的方法 13 第五章 条件分片算法 28 5．1 JAVA语言的条件分片分析方法 28 5．2 预备知识 28 5．3 采用的技术 31 5．4 具体处理 33 5．5 条件方法的实现 34 第六章 JAVA语言的分片实现 36 6．1处理的语言 36 6．2实现环境 36 6．3数据结构 36 6．4 分片算法 41 6．5 依赖图到分片后程序的转换 46 6．6 今后的工作 47 结 束 语 48 附 录 49 参考文献 52 致 谢 中文摘要 Abstract 第一章 前 言 1．1 程序分片 程序分片技术（program slicing）是很重要的技术，它的应用很广泛，主要应用到软件维护、程序调试、测试、代码理解以及逆向工程等领域。程序分片技术最早应用到程序调试中，在调试的时候，当错误特征出现时，我们希望能够通过一种手段，找到可能产生该错误的源代码部分。我们或许不能对这样的源代码准确定位，但我们可以做到通过剔除程序中不可能产生该错误的部分，而把错误限定在一个较小的范围中。程序分片就是一种有效实现上述目的的技术。 1．2 程序分片技术的发展史 程序分片（program slicing）这一概念最早是由 Mark Weiser[11] 在 1979 年提出，此后出现了许多略有不同的定义以及用于计算分片的算法。大体上说，程序分片技术的发展经历了从静态到动态、从前向到后向、从单一过程到多个过程、从非分布程序到分布式程序等几个阶段。SHorwitz[2] 等人给出的程序分片定义是：“一个程序分片是由程序中的一些语句和判定表达式组成的集合。这些语句和判定表达式可能会影响在程序的某个位置（常用行号标识）p上所定义的或所使用的变量v的值。（p，v）称为分片准则（slicing criterion）” 1．3 程序分片的分类 静态分片技术（static slicing） 静态分片技术是指在计算程序分片时使用的是静态的数据流和控制流分析方法。该技术对程序的输入不做任何假设，所做的分析完全以程序的静态信息为依据。使用该技术的工作量较大，因为要分析程序所有可能的执行轨迹，所以相对于动态分片技术，静态分片技术一般用于程序理解与软件维护方面。Weiser 最初提出的程序分片概念就属于静态分片范畴。图1是一段决定三边长的代码，准则为r的静态分片请参见图1（a），静态分片结果即是程序本身。 动态分