Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Inverardi P., Mazzanti F. Feasibility of ACVC validation with respect to the ADA formal definition. The Draft Formal Definition of ADA, Commission of the European Communities: multi-annual programme. Internal note IEI-B4-02, 1987.
This report refers to the workpackage S whose purpose is "to ascertain the extent to which the Ada FD may serve as the direct, or indirect basis for a validation of the ACVC test suite". The problem has been studied from a more general point of view, looking at the relations between the ACVC tests, the language reference manual definition and the formal definition. In the end, the direct executability of the formal definition, which is addressed in a separate report [FGIM 87], is studied in relation to the problem of verifying the relative conformance of the ACVC and the Ada formal definition.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional