A concurrency analysis tool suite for Ada programs-Reference-Cited by-同舟云学术

A concurrency analysis tool suite for Ada programs

Published:1995-01 Issue:1 Volume:4 Page:65-106
ISSN:1049-331X
Container-title:ACM Transactions on Software Engineering and Methodology
language:en
Short-container-title:ACM Trans. Softw. Eng. Methodol.

Author:

Young Michal¹,Taylor Richard N.²,Levine David L.²,Nies Kari A.²,Brodbeck Debra²

Affiliation:

1. Purdue Univ., West Lafayette, IN

2. Univ. of California, Irvine

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/201055.201080

Reference54 articles.

1. Constrained expres- ~sions: Adding analysis capabilities to design methods for concurrent software systems. IEEE ~Tra,~s;~AVRUNIN G. S.;Softw. Eng. SE-12, 2,1986

2. Another look at abstraction in process algebra. ~In Proceedings of the 14th International Colloquium on Automata, Languages, and Program~ ~min,g (ICALP) (Karlsruhe, Germany, July). Lecture Notes in Computer Science, vol. 267. ~Springer-Verlag;~BAETEN J.;Berlin,1987

3. ~BERGSTRA J. A. AND KLOP J.W. 1984. Process algebra for synchronous communication. Inf. ~Control 60 109-137. ~BERGSTRA J. A. AND KLOP J.W. 1984. Process algebra for synchronous communication. Inf. ~Control 60 109-137.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Concurrent software testing in practice: a catalog of tools;Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation;2015-08-30

2. Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices;Model Checking Software;2005

3. Flow analysis for verifying properties of concurrent software systems;ACM Transactions on Software Engineering and Methodology;2004-10

4. Towards scalable compositional analysis by refactoring design models;ACM SIGSOFT Software Engineering Notes;2003-09

5. Incremental integration testing of concurrent programs;IEEE Transactions on Software Engineering;2002-06