Files:DescriptionFile size FormatBrowse
Fulltext0.54 MBPDF (requires Acrobat Reader)Previous | Next
PostScript
  
Authors:Yoga Sivagurunathan: School of Computing, University of North London, UK
Mark Harman: School of Computing, University of North London, UK
Sebastian Danicic: School of Computing, University of North London, UK
Publication title:Slicing, I/O and the Implicit State
Conference:Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97)
Publication type: Abstract and Fulltext
Issue:001
Article No.:006
Abstract:Program slicing consists of deleting statements from a program, creating a reduced program, a slice, that preserves the original programs behaviour for a given set of variables at a chosen point in the program. However, some aspects of a programs semantics are not captured by a set of variables, rendering slicing inapplicable to their analysis. These aspects of the programs state shall, collectively, be termed the `implicit state. For example, the input list supplied to a program is not denoted by a variable, rather it is part of the implicit state. It will be shown that this implicitness causes existing slicing algorithms to produce incorrect slices with respect to input. In order to solve the problem the program to be sliced will be transformed into an `explicit version (in which all aspects of its semantics are captured by variables). The approach is also applied to a wider class of problems in which slicing is inhibited by the lack of variables upon which to form a suitable slicing criterion. Because the approach can be expressed as a source-level transformation, it has the attractive property that the slicing algorithm need not be altered.
Language:English
Keywords:Slicing, Real--Time Systems, Implicit State, I/O
Year:1997
No. of pages:9
Pages:59-67
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ea/cis/1997/009/06/cis9700906.pdf
Available:1997-09-10
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Yoga Sivagurunathan, Mark Harman, Sebastian Danicic (1997). Slicing, I/O and the Implicit State, Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=006 (accessed 9/1/2014)