Item Details

Anomalies Encountered in Ada Exception Handling

Koeritz, C; Knight, J
Format
Report
Author
Koeritz, C
Knight, J
Abstract
The correct handling of exceptions is important in dependable computing systems. The exception semantics in the Ada language provide a means for handling exceptions, but the mere semantics do not guarantee any properties of dependability by themselves. A set of unusual situations called anomalies are identified in Ada exception handling. The presence of an anomaly in an Ada program can cause the program to diverge from its specification, often in a completely unacceptable manner. Anomalies are introduced into Ada programs through inadequate implementations of the exception handling portions of the program and are not due to normal program execution. Because anomalies exist in the exception handling portions of Ada programs, it is difficult to "detect the presence of anomalies during implementation, it is hard to handle their consequences during execution, and they are capable of causing unexpected results in systems that are intended to be dependable. In this paper, the known anomalies in Ada exception handling are enumerated and each is analyzed in terms of its causes and consequences. Note: Abstract extracted from PDF file via OCR
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 1993
Published Date
1993
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online