DocumentCode :
3125052
Title :
Automated partial communication deadlock analysis after changes to Ada code
Author :
von Mayrhauser, A. ; Hsueh, S.-M. ; Srimani, P.K.
Author_Institution :
Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
fYear :
1995
fDate :
10-14 Jul 1995
Firstpage :
215
Lastpage :
224
Abstract :
When writing concurrent Ada programs, deadlock is always a possibility. Existing algorithms to analyze for deadlock are either very limited or relatively expensive. While the best are still quite feasible for inclusion in an Ada developer´s toolbox, costs start becoming high when changes to code force repeated full re-analysis. This paper uses control-and-communication flow analysis as a basis to derive an efficient algorithm for automated partial re-analysis of Ada programs with respect to communication deadlock. Re-analysis needs are determined based on types of code changes. The paper also presents an analytic evaluation of the efficiency of the re-analysis technique
Keywords :
Ada; computer aided software engineering; concurrency control; data flow analysis; software maintenance; Ada code changes; Ada program reanalysis; analytic efficiency evaluation; automated partial communication deadlock analysis; concurrent Ada programs; control-and-communication flow analysis; costs; Algorithm design and analysis; Communication system control; Computer science; Concurrent computing; Costs; Life estimation; Software algorithms; Software maintenance; System recovery; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer-Aided Software Engineering, 1995. Proceedings., Seventh International Workshop on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-7078-9
Type :
conf
DOI :
10.1109/CASE.1995.465312
Filename :
465312
Link To Document :
بازگشت