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)


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 <>
Last modified: Thu Jan 27 13:36:13 1995