Paper Info
Title
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
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 successful application of Cats to major subsystems of a (nontoy) highly concurrent user interface system.
Year
DOI
Venue
1995
10.1145/201055.201080
ACM Trans. Softw. Eng. Methodol.
Keywords
Field
DocType
flexible composition,successful application,ada program,concurrency analysis tool suite,tool integration,implementation-level ada source code,preliminary experience,static analysis,ada,real application program,program source code,software development environments,analysis technique,concurrency,concurrent user interface system,report experience,actual source program,source code,satisfiability,software development environment,static analysis tools,user interface
Programming language,Systems engineering,Software engineering,Suite,Source code,Concurrency,Development environment,Computer science,Static analysis,Concurrent user
Journal
Volume
Issue
Citations 
4
1
11
PageRank 
References 
Authors
0.87
35
5
Name
Order
Citations
PageRank
Michal Young1110.87
Richard N. Taylor25395482.75
David L. Levine360965.16
Kari A. Nies411511.57
Debra Brodbeck5110.87