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

论文分类号： TP31 单 位 代 码 10183 密 级： 内 部 研 究 生 学 号 2001532091 吉 林 大 学 硕 士 学 位 论 文 一种JAVA语言的程序分片技术 A Technique of Program Slicing Based on JAVA 作者姓名：潘海燕 专 业：计算机应用技术 导师姓名 张长海 及 职 称 教 授 论文起止年月：2002年10月至2004年4月 提 要 程序分片是一种程序抽取技术，它对于程序理解、程序分析和软件工程等领域有很重要的作用。自从程序分片被提出以后，一直是人们研究的重点，针对它的方法也有很多。目前程序分片的重点已经转移到针对不同的语言的分片技术，以及程序分片形式的多样化中。但是由于各种语言的机制不同，分片的技术也不相同。针对面向对象语言的分片还没有很完整的方法，工具更少。同时条件分片是新提出地概念，它的技术还不是很成熟，特别是国内对这方面的研究还很少。 我们研究了针对JAVA语言的静态分片技术以及条件分片技术。静态分片技术是在已有的方法基础上进行了改进，基本实现了面向对象语言的特殊机制。条件分片技术是我们下一步研究的重点，在本文中我们提出了类似于部分求值技术的方法，并给出了形式化的