Abstract
This paper summarizes IABG's experience as an Ada Validation Facility from the last decade. The paper puts an emphasis on the improvement of the validation process by evolving tool support.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
The Ada Compiler Validation Capability (ACVC) Version 2.1 User's Guide, CTA Incorporated, Dayton, OH 45431, March 1997 (http://www.sw-eng.falls-church.va.us/AdaIC/compilers/acvc/95acvc/acvc2_1/index)
An Efficient Compiler Validation Method for Ada 9X, Michael Tonndorf, Proceedings of the Ada Europe '93 Conference, Springer Verlag LNCS 688, Berlin Heidelberg, 1993.
An Integrated Tool Environment for Ada Compiler Validations, Michael Tonndorf, Proceedings of the TRI-Ada '93 Conference, ACM SIGAda, New York, 1993.
Reference Manual for the Ada Programming Language, ANSI/ISO/IEC 8652:1995, FIPS PUB 119-1.
Ada Compiler Validation Procedures, Version 5.0, 18 November 1997, Ada Joint Program Office, Center for Computer Systems Engineering, Defense Information Systems Agency (http://www.sw-eng.falls-church.va.us /AdaIC/compilers/val-proc/val5_0fin.shtml)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tonndorf, M. (1998). Ten years of tool based Ada compiler validations an experience report. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055004
Download citation
DOI: https://doi.org/10.1007/BFb0055004
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64536-8
Online ISBN: 978-3-540-69802-9
eBook Packages: Springer Book Archive