Please use this identifier to cite or link to this item:
Title: Pre/post conditioned slicing
Authors: Harman, M
Hierons, RM
Fox, C
Danicic, S
Howroyd, J
Keywords: Conditioned program slicing;Pre- and post- conditions;Program comprehension
Issue Date: 2001
Publisher: IEEE
Citation: IEEE International Conference on Software Maintenance (ICSM'2001), Florence, 138-147, Nov 2001
Abstract: Th paper shows how analysis of programs in terms of pre- and postconditions can be improved using a generalisation of conditioned program slicing called pre/post conditioned slicing. Such conditions play an important role in program comprehension, reuse, verification and reengineering. Fully automated analysis is impossible because of the inherent undecidability of pre- and post- conditions. The method presented reformulates the problem to circumvent this. The reformulation is constructed so that programs which respect the pre- and post-conditions applied to them have empty slices. For those which do not respect the conditions, the slice contains statements which could potentially break the conditions. This separates the automatable part of the analysis from the human analysis.
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Pre post conditioned slicing.pdf175.85 kBAdobe PDFView/Open

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