特定领域环境下软件切片技术的研究

作     者：苏永辉 suyonghui

作者单位：兰州理工大学 

学位级别：硕士

导师姓名：张秋余

授予年度：2010年

页      码：61页

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

主      题：程序理解 软件切片技术 切片准则 形式化方法 Z语言 特定领域 

摘      要：随着软件系统的规模越来越大,结构越来越复杂,为了更好的理解程序,为了更合理的开发软件,软件切片技术逐渐成为软件工程学中的一个研究热点。 切片技术虽然得到了迅速发展,但是各种切片技术大多数只是对源程序中的某个变量计算程序切片,这些切片方法虽然提高了理解系统中某个具体细节的效率,但是在理解整个系统架构方面则略显不足。针对这个问题,通过对目前主流的各种切片技术进行深入研究之后,在分析软件系统体系结构的基础上,本文提出了一种选择切片准则的方法,并且把这种方法的定义,推导过程等进行了详细地阐述。使用这种方法计算的程序切片可以帮助程序理解人员更加方便、快捷、高效的理解系统架构,从而缩短软件系统理解的周期,降低了理解系统架构的复杂度,也在一定程度上促进了软件维护、软件逆向工程和再工程的进一步发展。 各位专家学家对软件切片技术的研究大多数只是针对某个虚构问题,把软件切片技术和实际问题相结合的研究和应用少之又少。本文把某市民政信息管理系统的需求和设计作为研究背景,但由于其规模庞大,结构复杂,不能一一详述,所以只选取了其中具有代表性的系统信息管理子系统和老龄人口子系统作为特定领域。首先用z语言对其需求进行了精确描述,其次设计系统的架构,编写程序的源代码,然后使用切片技术提取系统的架构,最后把两种系统架构进行对比分析,实验结果证明了本文提出的方法切实有效。