| | |
Summary: 1204 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 17, NO. 11, NOVEMBER 1991
Automated Analysis of Concurrent Systems
With the Constrained Expression Toolset
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Member, ZEEE,
and Jack C. Wileden, Member, IEEE
Abstract- The constrained expression approach to analysis
of concurrent software systems has several attractive features,
including the facts that it can be used with a variety of de-
sign and programming languages and that it does not require
a complete enumeration of the set of reachable states of the
concurrent system. This paper reports on the construction of
a toolset automating the main constrained expression analysis
techniques and the results of experiments with that toolset. The
toolset is capable of carrying out completely automated analyses
of a variety of concurrent systems, starting from source code
in an Ada-like design language and producing system traces
displaying the properties represented by the analyst's queries.
It has been successfully used with designs that involve hundreds
of concurrent processes.
Index Terms- Concurrent systems, automated analysis, anal-
|
