Toward automating analysis support for developers of distributed software

Author

Wileden, Jack C. ; Avrunin, George S.

Author_Institution

Massachusetts Univ., Amherst, MA, USA

fYear

1988

fDate

13-17 Jun 1988

Firstpage

350

Lastpage

357

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 1988., 8th International Conference on

Conference_Location

San Jose, CA

Print_ISBN

0-8186-0865-X

Type

conf

DOI

10.1109/DCS.1988.12536

Filename

12536