Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/3387
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.
URI: http://bura.brunel.ac.uk/handle/2438/3387
DOI: http://dx.doi.org/10.1109/ICSM.2001.972724
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.