Syntax-directed amorphous slicing

Harman, Mark; Hu, Lin; Munro, Malcolm; Zhang, Xingyuan; Wendell Binkley, David; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen. 2004. Syntax-directed amorphous slicing. Automated Software Engineering, 11(1), pp. 27-61. ISSN 0928-8910 [Article]

No full text available

Abstract or Description

An amorphous slice of a program is constructed with respect to a set of variables. The amorphous slice is an executable program which preserves the behaviour of the original on the variables of interest. Unlike syntax-preserving slices, amorphous slices need not preserve a projection of the syntax of a program. This makes the task of amorphous slice construction harder, but it also often makes the result thinner and thereby preferable in applications where syntax preservation is unimportant.

This paper describes an approach to the construction of amorphous slices which is based on the Abstract Syntax Tree of the program to be sliced, and does not require the construction of control flow graphs nor of program dependence graphs. The approach has some strengths and weaknesses which the paper discusses.

The amorphous slicer, is part of the GUSTT slicing system, which includes syntax preserving static and conditioned slicers, a side effect removal transformation phase, slicing criterion guidance and for which much of the correctness proofs for transformation steps are mechanically verified. The system handles a subset of WSL, into which more general WSL constructs can be transformed.

The paper focuses upon the way in which the GUSTT System uses dependence reduction transformation tactics. Such dependence reduction is at the heart of all approaches to amorphous slicing. The algorithms used are described and their performance is assessed with a simple empirical study of best and worst case execution times for an implementation built on top of the FermaT transformation system for maintenance and re-engineering.

Item Type:

Article

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
January 2004Published

Item ID:

15216

Date Deposited:

02 Dec 2015 13:21

Last Modified:

20 Jun 2017 11:22

Peer Reviewed:

Yes, this version has been peer-reviewed.

URI:

https://research.gold.ac.uk/id/eprint/15216

Edit Record Edit Record (login required)