| | |
Summary: Experiments with Automated Constrained Expression Analysis of
Concurrent Software Systems
George S. Avrunin* Laura K. Dillon+
Department of Mathematics and Statistics Department of Computer Science
University of Massachusetts, Amherst University of California, Santa Barbara
Jack C. Wileden**$
Department of Computer and Information Science
University of Massachusetts, Amherst
Abstract
It is unlikely that any single approach to analysis of concur-
rent software systems will meet all the needs of software de-
velopers throughout the development process. Thus, exper-
imental evaluation of different analysis techniques is needed
to determine their relative strengths and practical limita-
tions. Such evaluation requires automated tools implement-
ing the analysis techniques.
This paper describes a prototype toolset automating the
constrained expression approach to the analysis of concur-
rent software systems. The results of preliminary experi-
ments with the toolset are reported and the implications of
|
