MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Static slicing of concurrent object-oriented programs (1996) [29 citations — 8 self]

Download:
Download as a PDF | Download as a PS
by Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
Proceedings of the 20th IEEE Annual International Computer Software and Applications Conference
http://www.fit.ac.jp/~zhao/personal/ps/compsac96.ps.gz
Add To MetaCart

Abstract:

Program slicing has many applications such as program debugging, testing, maintenance, and complexity measurement. This paper concerns the problem of slicing concurrent object-oriented programs that has not been addressed in the literatures until now. To solve this problem, we propose a new program dependence representation named the system dependence net (SDN), which extends previous program dependence representations to represent concurrent objectoriented programs. An SDN of a concurrent objectoriented program consists of a collection of procedure dependence nets each representing a main procedure, a free standing procedure, or a method in a class of the program, and some additional arcs to represent direct dependences between a call and the called procedure /method and transitive interprocedural data dependences. We construct the SDN to represent not only object-oriented features but also concurrency issues in a concurrent object-oriented program. Once a concurrent object-oriented program is represented by its SDN, the slices of the program can be computed based on the SDN as a simple vertex reachability problem in the net.

Citations

109 Measuring Functional Cohesion – Bieman, Ott - 1994
104 CC++: A Declarative Concurrent Object-Oriented Programming Notation – Chandy, Kesselman - 1993
81 Incremental program testing using program dependency graphs – Bates, Horiwitz - 1993
74 Debugging with dynamic slicing and backtracking – Agrawal, DeMillo, et al. - 1993
37 Slicing Concurrent Programs -- A GraphTheoretical Approach – Cheng - 1993
23 The Compositional C++ language definition – Carlin, Chandy, et al. - 1993