Please use this identifier to cite or link to this item:
Title: Backward conditioning: A new program specialisation technique and its application to program comprehension
Authors: Fox, C
Harman, M
Hierons, RM
Danicic, S
Keywords: Conditioned program slicing; Program specialisation; Path condition analysis
Issue Date: 2001
Publisher: IEEE
Citation: IEEE International Workshop on Program Comprehension (IWPC 2001), Toronto, pp. 89-97, May 2001
Abstract: This paper introduces backward conditioning. Like forward conditioning (used in conditioned slicing), backward conditioning consists of specialising a program with respect to a condition inserted into the program. However, whereas forward conditioning deletes statements which are not executed when the initial state satisfies the condition, backward conditioning deletes statements which cannot cause execution to enter a state which satisfies the condition. The relationship between backward and forward conditioning is reminiscent of the relationship between backward and forward slicing. Forward conditioning addresses program comprehension questions of the form `what happens if the program starts in a state satisfying condition c?`, whereas backward conditioning addresses questions of the form `what parts of the program could potentially lead to the program arriving in a state satisfying condition c?' The paper illustrates the use of backward conditioning as a program comprehension assistant and presents an algorithm for constructing backward conditioned programs.
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Backward conditioning.pdf705.19 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.