Always one more bug

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Always one more bug: applying AdaWise to improve Ada code

Full text

Pdf (637 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '94 table of contents

Baltimore, Maryland, United States

Pages: 228 - 235

Year of Publication: 1994

ISBN:0-89791-666-2

Authors

Cheryl Barbasch	Odyssey Research Associates, 301 Dates Drive, Ithaca, NY
Dan Egnor	Odyssey Research Associates, 301 Dates Drive, Ithaca, NY

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 6, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/197694.197724 What is a DOI?

ABSTRACT

AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of Ada programs. The tools can be applied to programs of arbitrary size, and they are conservative—that is, the absence of a warning guarantees the absence of a problem. If AdaWise issues a warning, there is a potential error that should be investigated by the programmer. AdaWise checks at compile-time for such potential errors as incorrect order dependence and erroneous execution due to improper aliasing. These errors are not detected by typical compilers. We ran two of the tools on several publicly available Ada software products to determine if the tools issue useful warnings without bombarding the user with “false positives.” We found that AdaWise generated a small number of total warnings, and that false positives usually indicated areas of weakness in the products tested.This paper describes our preliminary tests using the AdaWise toolset, and analyzes the warnings that were issued.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Ada83	ANSI. Reference Manual for the Ada Programming Language, 1983. ANSI/MIL-STD- 1815A.
	ASI94	ASiS Working Group, AJPO. ASIS: Detailed Semantics and Implementation Ada Semantic interface Specification, May 1994.