A Criterion Identification Methodology, which will identify effective slicing criteria to be applied to problems of Testing, Reuse, Comprehension and Debugging. A set of palettes of transformations for application to Testing, Reuse and Comprehension problems. An evaluation of the technical and psychological aspects of the approach.
Program slicing simplifies a system.
Program transformation alters syntax, leaving semantics unchanged. Although both slicing and transformation have been proved successful, syntactic structure often inhibits the simplification power of slicing. The identification of effective transformation strategies also remains a significant problem. Each criterion domain pair will be used to define an appropriate transformation palette, which will be used to improve the simplification power of slicing. The combined approach will thus be more powerful than the sum of its parts.