Static slicing of concurrent object-oriented programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

研究成果: ジャーナルへの寄稿会議記事査読

38 被引用数 (Scopus)


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.

ジャーナルProceedings - IEEE Computer Society's International Computer Software & Applications Conference
出版ステータス出版済み - 1月 1 1996
イベントProceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea
継続期間: 8月 21 19968月 23 1996

!!!All Science Journal Classification (ASJC) codes

  • ソフトウェア
  • コンピュータ サイエンスの応用


「Static slicing of concurrent object-oriented programs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。