Abstract
To enhance the quality of software, e.g. in safety-critical environments, we propose the introduction of a style checking phase into the software development cycle. Style checking in this case is to be understood as anything that normally goes beyond the capabilities of an ordinary compiler. An implementation of a style checking framework written in Ada95 and using the GNAT ASIS implementation is presented. This framework also allows to specify what is being checked.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
DoD AJPO: Ada 95 Quality and Style: Guidelines for Professional Programmers. SPC-94093-CMC, Version 01.00.10 (October 1995)
Ada Reference Manual, Language and Standard Libraries, Version 6.0 (December 1994), International Standard ISO/IEC 8652 (1995) (E)
Ada Semantic Interface Specification (ASIS), International Standard ISO/IEC 15291 (1999) (E)
Rybin, S., Strohmeier, A., Zueff, E.: ASIS for GNAT: Goals, Problems and Implementation Strategy. In: Toussaint, M.-J. (ed.) Ada-Europe 1995. LNCS, vol. 1031, pp. 139–151. Springer, Heidelberg (1996)
Rybin, S., Strohmeier, A., Kuchumov, A., Fofanov, V.: ASIS for GNAT: From the Prototype to the Full Implementation. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol. 1088, pp. 298–311. Springer, Heidelberg (1996)
Osterweil, L., et al.: Strategic Directions in Software Quality. ACM Computing Surveys 28(4) (December 1996)
Schonberg, E., Banner, B.: The GNAT-Project: A GNU-Ada9X Compiler. In: Proceedings of the 1994 Conference on TRI-Ada 1994, pp. 48–57. ACM Press, New York (1994)
Skublics, S., Klimas, E.J., Thomas, D.A.: Smalltalk with Style. Prentice Hall, Englewood Cliffs (1996)
Strohmeier, A., Fofanov, V., Rybin, S., Barbey, S.: Quality-for- ASIS: A Portable Testing Facility for ASIS. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, pp. 163–175. Springer, Heidelberg (1998)
Taft, S.T., Duff, R.A. (eds.): Ada 95 Reference Manual. LNCS, vol. 1246. Springer, Heidelberg (1997) ISBN 3-540-63144-5
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Closhen, P., Hoffmann, HJ. (2000). An Ada95 Programming Style Checker Using the GNAT ASIS Implementation. In: Keller, H.B., Plödereder, E. (eds) Reliable Software Technologies Ada-Europe 2000. Ada-Europe 2000. Lecture Notes in Computer Science, vol 1845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722060_15
Download citation
DOI: https://doi.org/10.1007/10722060_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67669-0
Online ISBN: 978-3-540-45098-6
eBook Packages: Springer Book Archive