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
PublisherSpringer Verlag
Pages219-230
Number of pages12
Volume2361
ISBN (Print)3540437843, 9783540437840
Publication statusPublished - Jan 1 2002
Externally publishedYes
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

Fingerprint

Flow graphs
Static analysis
Concurrent
Testing
Dependency Graph
Flow Graphs
Algorithm Analysis

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Chen, Z., Xu, B., Zhao, J., & Yang, H. (2002). Static dependency analysis for concurrent ada 95 programs. In Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings (Vol. 2361, pp. 219-230). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2361). Springer Verlag.

Static dependency analysis for concurrent ada 95 programs. / Chen, Zhenqiang; Xu, Baowen; Zhao, Jianjun; Yang, Hongji.

Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Vol. 2361 Springer Verlag, 2002. p. 219-230 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2361).

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

Chen, Z, Xu, B, Zhao, J & Yang, H 2002, Static dependency analysis for concurrent ada 95 programs. in Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. vol. 2361, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2361, Springer Verlag, pp. 219-230, 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, Vienna, Austria, 6/17/02.
Chen Z, Xu B, Zhao J, Yang H. Static dependency analysis for concurrent ada 95 programs. In Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Vol. 2361. Springer Verlag. 2002. p. 219-230. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Chen, Zhenqiang ; Xu, Baowen ; Zhao, Jianjun ; Yang, Hongji. / Static dependency analysis for concurrent ada 95 programs. Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Vol. 2361 Springer Verlag, 2002. pp. 219-230 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{7d3f59833dd748e3b70032f32df68d49,
title = "Static dependency analysis for concurrent ada 95 programs",
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.",
author = "Zhenqiang Chen and Baowen Xu and Jianjun Zhao and Hongji Yang",
year = "2002",
month = "1",
day = "1",
language = "English",
isbn = "3540437843",
volume = "2361",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "219--230",
booktitle = "Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
address = "Germany",

}

TY - GEN

T1 - Static dependency analysis for concurrent ada 95 programs

AU - Chen, Zhenqiang

AU - Xu, Baowen

AU - Zhao, Jianjun

AU - Yang, Hongji

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84957010606&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957010606&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84957010606

SN - 3540437843

SN - 9783540437840

VL - 2361

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 219

EP - 230

BT - Reliable Software Technologies - Ada-Europe 2002 - 7th Ada-Europe International Conference on Reliable Software Technologies, Proceedings

PB - Springer Verlag

ER -