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
U2 - 10.1007/3-540-48046-3_17
DO - 10.1007/3-540-48046-3_17
M3 - Conference contribution
AN - SCOPUS:84957010606
SN - 3540437843
SN - 9783540437840
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
A2 - Blieberger, Johann
A2 - Strohmeier, Alfred
PB - Springer Verlag
T2 - 7th International Conference on Reliable Software Technologies, Ada-Europe 2002
Y2 - 17 June 2002 through 21 June 2002
ER -