Abstract
The Ada Conformity Assessment Test Suite (ACATS) includes thousands of individual executable test programs, but no test driver or tools for grading the output. We show how ACATS can be adapted to work with the Ahven testing framework, resulting in a single easy-to-build executable program that combines the executable ACATS tests, runs them in order, and grades and summarizes the test results. Our goal is a highly portable and automated ACATS driver, and as a side benefit we obtain a somewhat more stressful test capability for Ada compilation systems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Brukardt, R.L.: Ada Conformity Assessment Test Suite (ACATS), http://www.ada-auth.org/acats.html
Taft, S.T., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)
Koskinen, T.: Ahven developer, http://sourceforge.net/projects/ahven
Koskinen, T.: Ahven 1.8 announcement on comp.lang.ada newsgroup reprinted in Ada User Journal. Ada Europe 31(3), 159–161 (2010)
Buerki, R., Rueegsegger, A.-K.: Ahven package maintainers in Debian GNU/Linux, http://packages.debian.org/ahven
Falis, E.: AUnit developer, http://libre.adacore.com/libre/tools/aunit
Leake, S.: LibAunit package maintainer in Debian GNU/Linux, http://packages.debian.org/libaunit
Knuth, D.E.: “Man or boy?”. ALGOL Bulletin 17, 7 (1964); 19, 8–9 (January 1965), Reprinted as ch. 6 of Selected Papers on Computer Languages. Center for the Study of Language and Information, Stanford, California (2003)
Goodenough, J.B.: The Ada Compiler Validation Capability. Computer 13(6), 57–64 (1981), doi:10.1109/C-M.1981.220496
Brukardt, R.L.: Ada Conformity Assessment Test Suite (ACATS) User’s Guide, Version 3.0 (2008), http://www.ada-auth.org/acats-files/3.0/docs/ACATS-UG.PDF
Brenta, L., Leake, S.: Debian Ada Policy. 5th edn (May 29, 2010), http://people.debian.org/~lbrenta/debian-ada-policy.html
Oliver, P.: Experiences in Building and Using Compiler Validation Systems. In: Proc. of AFIPS Conf., NCC, vol. 48, pp. 1051–1057 (1979)
English, J.: Ada 95: The Craft of Object-Oriented Programming (2001), http://www.it.bton.ac.uk/staff/je/adacraft
Raymond, E.S.: The Art of Unix Programming. Pearson Education, Inc., London (2004)
Eachus, R.: Personal communication (May 2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eilers, D., Koskinen, T. (2011). Adapting ACATS to the Ahven Testing Framework. In: Romanovsky, A., Vardanega, T. (eds) Reliable Software Technologies - Ada-Europe 2011. Ada-Europe 2011. Lecture Notes in Computer Science, vol 6652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21338-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-21338-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21337-3
Online ISBN: 978-3-642-21338-0
eBook Packages: Computer ScienceComputer Science (R0)