Program Slicing Technology Based-on Procedure Blueprint

Program slicing is a well-known program analysis technique that extracts the elements of aprogram related to a particular computation. Slicing was first developed to facilitate debugging,but it is then found helpful in many aspects of the software development life cycle, includingprogram debugging, software testing, software measurement, program comprehension, softwaremaintenance, program parallelization and so on. The goal of slicing research is to get anautomated and intelligent slicing tool, so people can give the task of seeking relatives tocomputer. And then programmer could get rid of the boring and mistake-prone job, turning toother segments.Procedure Blueprint is one behavior-oriented visual modeling language and model-drivenprogram design methodology. It makes contribution to (plays an important role in resolving)resolve the problem of lacking uniformed model description for procedure in softwareengineering. Procedure Blueprint consists of three level abstract procedure models, which areconcept structure view, logic structure view and realization structure view in a isomorphic treeview inner denoted framework. So it is of high consistence and could improve the development.Combining program slicing and Procedure Blueprint, the programmer can take advantageof both techniques. With the help of program slicing, Procedure Blueprint could do better inprogram analysis and reverse engineering.The thesis do some research in program slicing'sconception and algorithms.And according to the Procedure Blueprint's character andrequirement, we rewrite the program regular in a formal method.Then a new slicing algorithmfor Procedure Blueprint environment were proposed, and a slicing tool model system wasrealized.