DocumentCode
3064704
Title
On slicing a distributed computation
Author
Garg, Vijay K. ; Mittal, Neeraj
Author_Institution
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
fYear
2001
fDate
36982
Firstpage
322
Lastpage
329
Abstract
We introduce the notion of a slice of a distributed computation. A slice of a distributed computation with respect to a global predicate is a computation which captures those and only those consistent cuts of the original computation which satisfy the global predicate. We show that a slice exists for a global predicate iff the predicate is a regular predicate. We then give an efficient algorithm for computing the slice and show applications of slicing to testing and debugging of distributed programs
Keywords
distributed programming; program debugging; program slicing; program testing; distributed computation slicing; distributed programs; global predicate; program debugging; program slicing; program testing; regular predicate; Debugging; Distributed computing; Educational programs; Fault tolerant systems; Lattices; Programming profession; Software maintenance; Software testing; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 2001. 21st International Conference on.
Conference_Location
Mesa, AZ
Print_ISBN
0-7695-1077-9
Type
conf
DOI
10.1109/ICDSC.2001.918962
Filename
918962
Link To Document