Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/3386
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Fox, C | - |
dc.contributor.author | Harman, M | - |
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Danicic, S | - |
dc.coverage.spatial | 9 | en |
dc.date.accessioned | 2009-06-08T11:47:13Z | - |
dc.date.available | 2009-06-08T11:47:13Z | - |
dc.date.issued | 2001 | - |
dc.identifier.citation | IEEE International Workshop on Program Comprehension (IWPC 2001), Toronto, pp. 89-97, May 2001 | en |
dc.identifier.other | DOI: 10.1109/WPC.2001.921717 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/3386 | - |
dc.description.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. | en |
dc.format.extent | 722110 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | IEEE | en |
dc.subject | Conditioned program slicing; Program specialisation; Path condition analysis | en |
dc.title | Backward conditioning: A new program specialisation technique and its application to program comprehension | en |
dc.type | Conference Paper | en |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Backward conditioning.pdf | 705.19 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.