Static slicing in Unix process environment

✍ Scribed by D. Goswami; R. Mall; P. Chatterjee

• Book ID: 102650235
• Publisher: John Wiley and Sons
• Year: 2000
• Tongue: English
• Weight: 528 KB
• Volume: 30
• Category: Article
• ISSN: 0038-0644
• DOI: 10.1002/(sici)1097-024x(200001)30:1<17::aid-spe290>3.0.co;2-2

✦ Synopsis

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.