一种基于分层切片模型思想的源程序信息分析方案

An Analysis Scheme of Source Code Information Based on Hierarchical Slice Model

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM(Java Slicing Tools Model)中。

Program slicing technique is widely used as one way of software comprehension in program analysis, program comprehension and software testing etc. Program slicing algorithm must be based on accurate and complete source code analysis. In this paper, an analysis scheme based on a model of hierarchical slice is described in great details.Such scheme has been successfully implemented in JSTM.