Title :
Toward automating analysis support for developers of distributed software
Author :
Wileden, Jack C. ; Avrunin, George S.
Author_Institution :
Massachusetts Univ., Amherst, MA, USA
Abstract :
A constrained expression approach to analyzing large-scale software is presented. Its advantages include broad applicability and reasonable efficiency relative to other proposed approaches. An overview is given of the current status of work on tools supporting analysis of distributed software systems. The constrained expression approach is outlined, and it is shown how it can be used to analyze distributed software. This is illustrated by a description of a recent experiment. An improved prototype toolset currently being built is described. Plans for enhanced tools and further experimentation are summarized
Keywords :
distributed processing; parallel programming; program debugging; software engineering; behaviour generator; constrained expression approach; distributed software analysis; distributed software systems; event based analysis; inequality generator constrained expression analysis; large-scale software; program analysis toolset; prototype toolset; Hardware; Information science; Laboratories; Lifting equipment; Programming; Prototypes; Robustness; Software prototyping; Software systems; Software tools;
Conference_Titel :
Distributed Computing Systems, 1988., 8th International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-0865-X
DOI :
10.1109/DCS.1988.12536
