|
White Papers
A
Static Analysis Tool for High-Integrity Systems: Phase 1 Final Report
Author: W.W. Pritchett, John Riley
Abstract
This report includes an analysis determining how the Ada Semantic
Interface Specification (ASIS) can be used to statically detect certain
Ada 95 language features and how a tool utilizing ASIS can be built to
automatically detect these features.
52 pages.
Download document
An
ASIS-Based Static Analysis Tool for High-Integrity Systems
Author: W.W. Pritchett, John Riley
Abstract
This paper presents the results of an analysis which determined how the
Ada Semantic Interface Specification (ASIS) can be used to statically
detect certain Ada 95 language features deemed to be unsuitable for use
in safety-critical systems.
8 pages.
Download document
Applying
Object-Oriented Metrics to Ada 95
William
W. Pritchett IV
Abstract
Ada 95 adds many new and notable features to the Ada 83 standard. The
additions include such aspects as object-oriented programming,
hierarchical libraries, and protected objects. The enhancements to the
language may have a profound impact on the way developers design
software in Ada. Consequently, the way in which the new software
designs are assessed needs to be addressed. Recent studies suggest
traditional functionally-oriented metrics are not applicable to
object-oriented software. As a result, new measures are being proposed
that may be applicable to object-oriented design. Some of these metrics
have been validated on small to medium sized projects written in C++
and Smalltalk. This paper demonstrates how to apply these metrics to
Ada 95.
11 pages
Download Document
|
