Premium
Static slicing in Unix process environment
Author(s) -
Goswami D.,
Mall R.,
Chatterjee P.
Publication year - 2000
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/(sici)1097-024x(200001)30:1<17::aid-spe290>3.0.co;2-2
Subject(s) - slicing , computer science , unix , program slicing , static analysis , abstraction , programming language , process (computing) , representation (politics) , graph , distributed computing , theoretical computer science , software , world wide web , philosophy , epistemology , politics , political science , law
We present a method for computing static slices of concurrent programs in a Unix process environment. As a part of our methodology, we introduce the notion of a Concurrent Program Dependence Graph (CPDG). A CPDG represents various aspects of concurrent programs in a hierarchical fashion. This hierarchical representation lets us compute static slices of programs at different levels of abstraction. Based on our methodology, we have implemented a static slicing tool supporting an option to view slices of programs at different levels of details. Experience with our implementation shows that this approach helps the user get a better understanding of the behavior of concurrent programs. Copyright © 2000 John Wiley & Sons, Ltd.