Static dependency analysis for concurrent ada 95 programs

Zhenqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

Program dependency analysis is an analysis technique to identify and determine various program dependencies in program source codes. It is an important approach for testing, understanding, maintaining and transforming programs. But, there are still many difficulties to be solved when carrying out dependency analysis for concurrent programs because the execution of statements is nondeterministic. In this paper, we propose a novel approach to analyze dependencies for concurrent Ada 95 programs. Two graphs: concurrent program flow graph and concurrent program dependency graph are developed to represent concurrent Ada programs and analyze dependency relations. The paper also presents a dependency analysis algorithm, which can obtain more precise information than most previous methods we know.

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
EditorsJohann Blieberger, Alfred Strohmeier
PublisherSpringer Verlag
Pages219-230
Number of pages12
ISBN (Print)3540437843, 9783540437840
DOIs
Publication statusPublished - Jan 1 2002
Event7th International Conference on Reliable Software Technologies, Ada-Europe 2002 - Vienna, Austria
Duration: Jun 17 2002Jun 21 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2361
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th International Conference on Reliable Software Technologies, Ada-Europe 2002
CountryAustria
CityVienna
Period6/17/026/21/02

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Static dependency analysis for concurrent ada 95 programs'. Together they form a unique fingerprint.

  • Cite this

    Chen, Z., Xu, B., Zhao, J., & Yang, H. (2002). Static dependency analysis for concurrent ada 95 programs. In J. Blieberger, & A. Strohmeier (Eds.), Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 219-230). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2361). Springer Verlag. https://doi.org/10.1007/3-540-48046-3_17