search menu icon-carat-right cmu-wordmark

The Use of Representation Clauses and Implementation-Dependent Features in Ada: IIB. Experimental Procedures

July 1987 Technical Report
B. Craig Meyers, Dawn Cappelli

This report is one in a series dealing with the use of representation clauses and implementation-dependent features in Ada. The purpose of this report is to discuss detailed experimental procedures to assess compiler support.

Publisher:

Software Engineering Institute

CMU/SEI Report Number

CMU/SEI-87-TR-018

Abstract

This report is one in a series dealing with the use of representation clauses and implementation-dependent features in Ada. The purpose of this report is to discuss detailed experimental procedures to assess compiler support. It is readily acknowledged that the domain of possible experimentation is large. To facilitate the experimentation, a methodology is proposed that relies on program generators and automated analysis tools. An example of the methodology is presented in some detail.