UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Pre/post conditioned slicing

Harman, M; Hierons, R; Fox, C; Danicic, S; Howroyd, J; (2001) Pre/post conditioned slicing. In: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 138 - 147). IEEE COMPUTER SOC

Full text not available from this repository.

Abstract

This paper shows how analysis of programs in terms of pre- and post- conditions 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 re-engineering.Fully automated analysis is impossible because of the inherent undecidability of pre- and post- conditions. Tile method presented here 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.

Type: Proceedings paper
Title: Pre/post conditioned slicing
Event: IEEE International Conference on Software Maintenance (ICSM 2001)
Location: FLORENCE, ITALY
Dates: 2001-11-07 - 2001-11-09
ISBN: 0-7695-1190-2
Keywords: conditioned program slicing, pre- and post-conditions, program comprehension, PROGRAMS, CHECKING
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1302128
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item