{"title":"并发程序依赖性分析方法","authors":"Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang","doi":"10.1109/APAQ.2000.883776","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":432680,"journal":{"name":"Proceedings First Asia-Pacific Conference on Quality Software","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"26","resultStr":"{\"title\":\"An approach to analyzing dependency of concurrent programs\",\"authors\":\"Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang\",\"doi\":\"10.1109/APAQ.2000.883776\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":432680,\"journal\":{\"name\":\"Proceedings First Asia-Pacific Conference on Quality Software\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-10-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"26\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings First Asia-Pacific Conference on Quality Software\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APAQ.2000.883776\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings First Asia-Pacific Conference on Quality Software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APAQ.2000.883776","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An approach to analyzing dependency of concurrent programs
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
