ASIS-based code analysis automation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

ASIS-based code analysis automation

Full text

Pdf (402 KB)

Source

ACM SIGAda Ada Letters archive
Volume XVII , Issue 6 (Nov./Dec. 1997) table of contents

Pages: 65 - 69

Year of Publication: 1997

ISSN:1094-3641

Author

C. Daniel Cooper

Boeing Deffnse & Space Group, EO.Box 3707, MS 4A-25, SEATTLE, WA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 9, Citation Count: 1

Additional Information:

abstract cited by index terms

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/264934.264942 What is a DOI?

ABSTRACT

The Ada Semantic Interface Specification (ASIS) is an interface between an Ada environment and any tool requiring information from it. An Ada environment comprises valuable semantic and syntactic information that can be exploited for automated code analysis. ASIS provides an open and published callable interface that gives access to this information; further, ASIS has been designed to be independent of underlying Ada environment implementations, thus supporting portability of code analysis tools while relieving tool developers from needing to understand the complexities of an Ada environment's proprietary and evolving internal representation.

CITED BY

William Currie Colket, Code analysis of saftey-critical and real-time software using ASIS, ACM SIGAda Ada Letters, v.XIX n.3, p.67-76, Sept. 1999

INDEX TERMS

Primary Classification:
D. Software
D.2 SOFTWARE ENGINEERING