Title :
On slicing a distributed computation
Author :
Garg, Vijay K. ; Mittal, Neeraj
Author_Institution :
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
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;
Conference_Titel :
Distributed Computing Systems, 2001. 21st International Conference on.
Conference_Location :
Mesa, AZ
Print_ISBN :
0-7695-1077-9
DOI :
10.1109/ICDSC.2001.918962
