Static slicing of concurrent object-oriented programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Research output: Contribution to journalConference article

33 Citations (Scopus)

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 literature 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 object-oriented programs. An SDN of a concurrent object-oriented 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.

Original languageEnglish
Pages (from-to)312-320
Number of pages9
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publication statusPublished - Jan 1 1996
EventProceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea
Duration: Aug 21 1996Aug 23 1996

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Static slicing of concurrent object-oriented programs'. Together they form a unique fingerprint.

  • Cite this