Static Dependency Analysis for Concurrent Ada 95 Programs [chapter]

Zhenqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang
2002 Lecture Notes in Computer Science  
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.
more » ... o 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.
doi:10.1007/3-540-48046-3_17 fatcat:ix6ct2cvkfetfklzg7o4dlyyke