21 August 2014
  Welcome Guest
  Login | Help
Home
 
General Information
Transaction Series
Related Information
Connect with WIT Press
Connect with WIT
Login
Login ID:
Password:
 
Your Cart
There are 0 items in your cart. [View]

Adobe PDF Reader is required to view our papers:
Get Acrobat Reader




  Welcome to the WIT eLibrary

The home of the Transactions of the Wessex Institute collection, providing on-line access to papers presented at the Institute's prestigious international conferences and from its State-of-the-Art in Science & Engineering publications.

Paper Information

Practical subprogram verification: an approach which uses slicing, metrics and axiomatic verification

Author(s): M. Harman & S. Danicic

Abstract:
DeMillo, Lipton and Perils [4] and Fetzer [7] have argued that one significant reason for the inapplicability of formal verification techniques such as the Axiomatic Method of Hoare [13] and Dijkstra[5], 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 program from...

Pages: 14
Size: 839 kb
Paper DOI: 10.2495/SQM940372

 

 

Download the Full Article

Price: US$ 0.00

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.

conference

Send this page to a friend. Send this page to a colleague.



This paper can be found in the following book

Software Quality Management II Vol 2 Building Quality into Software

Software Quality Management II Vol 2 Building Quality into Software

Buy Book from
Witpress.com



Download 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 to the right.


Copyright© 2006 by WIT Press | About Prof Carlos Brebbia
Optimised for Microsoft Internet Explorer