Author(s): M. Harman & S. Danicic
DeMillo, Lipton and Perils  and Fetzer  have argued that one significant reason for
the inapplicability of formal verification techniques such as the Axiomatic Method of
Hoare  and Dijkstra, is the sheer size of real software systems.
In this paper we argue that slicing offers a way to overcome this difficulty opening
up the way to a 'slice-and-verify' approach to guaranteeing software quality.
Slicing, introduced by Weiser in [21, 22] and extended in [17, 1, 8, 10], is a technique
for simplifying programs by focusing upon subcomponents of their computation.
Since a slice is guaranteed to preserve the original program's effect with respect to a
given set of variables, verification of the slice automatically 'carries over' to the overall
Size: 839 kb
Paper DOI: 10.2495/SQM940372
the Full Article
This article is part of the WIT OpenView scheme and you can download the full text Adobe PDF article for FREE by clicking the 'Openview' icon below.
this page to a colleague.
This paper can be found in the following bookSoftware Quality Management II Vol 2 Building Quality into SoftwareBuy