Asia-Pacific Conference on Quality Software (2000)
Hong Kong, China
Oct. 30, 2000 to Oct. 31, 2000
Zhenqiang Chen , Southeast University
Baowen Xu , Southeast University
Hongji Yang , De Montfort University
Kecheng Liu , Staffordshire University
Jianping Zhang , Utah State University
Dependency analysis is an important approach to testing, understanding, maintaining and transforming concurrent programs. However, because the execution process of concurrent programs is unpredictable, there are many problems to be solved when carrying out dependency analysis. In this paper, we propose some models for constructing concurrent program flow graph and concurrent program dependency graph for Ada programs, and based on these models, present a dependency analysis algorithm.
concurrent program flow graph, concurrent program dependency graph, synchronal dependency
J. Zhang, H. Yang, B. Xu, K. Liu and Z. Chen, "An Approach to Analyzing Dependency of Concurrent Programs," Asia-Pacific Conference on Quality Software(APAQS), Hong Kong, China, 2000, pp. 39.