Arcadia Papers: ABSTRACT
"A Concurrency Analysis Tool Suite for Ada Programs: Design, Rationale,
and Preliminary Experience ",
by Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies,
and Debra Brodbeck in
Technical Report TR-128-P, Software Engineering Research Center,
1398 Computer Sciences, Purdue University, West Lafayette, IN
47907-1398, November 1994.
(To appear in ACM Transactions on Software Engineering and Methodology)
Abstract
CATS (Concurrency Analysis Tool Suite) is designed to satisfy several
criteria: it must analyze implementation-level Ada source code and check
user-specified conditions associated with program source code; it must be
modularized in a fashion that supports flexible composition with other
tool components, including integration with a variety of testing and
analysis techniques; and its performance and capacity must be sufficient
for analysis of real application programs. Meeting these objectives
together is significantly more difficult than meeting any of them alone.
We describe the design and rationale of CATS and report experience with
an implementation. The issues addressed here are primarily practical
concerns for modularizing and integrating tools for analysis of actual
source programs. We also report successfully applying CATS to major
subsystems of a (non-toy) highly concurrent user interface system (Chiron).
The Arcadia Project
<arcadia-www@ics.uci.edu>
Last modified: Thu Jan 27 13:36:13 1995