Article | Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) | Slicing; I/O and the Implicit State

Title:
Slicing; I/O and the Implicit State
Author:
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
Download:
Full text (pdf) Full text (ps)
Year:
1997
Conference:
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Issue:
001
Article no.:
006
Pages:
59-67
No. of pages:
9
Publication type:
Abstract and Fulltext
Published:
1997-09-10
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Series:
Linköping Electronic Articles in Computer and Information Science
ISSN (online):
1401-9841
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

Keywords: Slicing; Real--Time Systems; Implicit State; I/O

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
Yoga Sivagurunathan, Mark Harman, Sebastian Danicic
Title:
Slicing; I/O and the Implicit State
References:

  Hiralal Agrawal and Joseph R Horgan Dynamic program slicing In ACM SIGPLAN Conference on Programming Language Design and Implementation pages    New York June 


 Alfred V Aho Ravi Sethi and Jerey D Ullman Compilers Principles techniques and tools Addison Wesley 


 G Canfora A Cimitile Andrea De Lucia and G A Di Lucca Software salvaging based on condi tions In International Conference on Software Main tenance ICSM  pages   Victoria Canada September   IEEE


  Sebastian Danicic Mark Harman and Yogasundary Sivagurunathan A parallel algorithm for static program slicing Information Processing Letters     December 


 Andrea De Lucia Anna Rita Fasolino and Malcolm Munro Understanding function behaviours through program slicing In th IEEE Workshop on Program Comprehension Berlin Germany March 


 Keith B Gallagher and James R Lyle Using program slicing in software maintenance IEEE Transactions on Software Engineering     August  


 Mark Harman Functional Models of Procedural Pro grams PhD thesis University of North London 


 Mark Harman and Sebastian Danicic Using program slicing to simplify testing Journal of Software Test ing Veri cation and Reliability    September 


 Mark Harman and Sebastian Danicic Amorphous program slicing In Anneliese von Mayrhauser Gerardo Canfora and Arun Lakhotia editors th IEEE Internation Workshop on Program Comprehe sion IWPC  Dearborn Michigan USA May 


  Mark Harman Dan Simpson and Sebastian Danicic Slicing programs in the presence of errors Formal Aspects of Computing    


  Susan Horwitz Jan Prins and Thomas Reps Inte grating non interfering versions of programs ACM Transactions on Programming Languages and Sys tems     July 


  Susan Horwitz Thomas Reps and David Binkley Interprocedural slicing using dependence graphs In ACM SIGPLAN Conference on Programming Language Design and Implementation pages   At lanta Georgia June  Proceedings in SIGPLAN Notices  pp  


  Mariam Kamkar Interprocedural dynamic slicing with applications to debugging and testing PhD Thesis De partment of Computer Science and Information Sci ence Link#oping University Sweden  Available as Link#oping Studies in Science and Technology Dis sertations Number 


  Bogdan Korel and Janusz Laski Dynamic programslicing Information Processing Letters    October 


  Arun Lakhotia Rule based approach to computing module cohesion In Proceedings of the th Confer ence on Software Engineering ICSE  pages   


  James R Lyle Dolores R Wallace James R Graham Keith B Gallagher Joseph P Poole and David W Binkley Unravel project


  Linda M Ott and J J Thuss The relationship be tween slices and module cohesion In Proceedings of the th ACM conference on Software Engineering pages    May 


  D A Schmidt Denotational semantics A Method ology for Language Development Allyn and Bacon 


  Joseph E Stoy Denotational semantics The ScottStrachey approach to programming language theory MIT Press  Third edition


 Guda A Venkatesh The semantic approach to pro gram slicing In ACM SIGPLAN Conference on Programming Language Design and Implementation pages   Toronto Canada June   Proceed ings in SIGPLAN Notices  pp    


  Mark Weiser Program slices Formal psychological and practical investigations of an automatic program abstraction method PhD thesis University of Michi gan Ann Arbor MI 


 Mark Weiser Program slicing IEEE Transactions on Software Engineering      

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
Yoga Sivagurunathan, Mark Harman, Sebastian Danicic
Title:
Slicing; I/O and the Implicit State
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment