Adapting ACATS to the Ahven testing framework

Authors:
Dan Eilers;Tero Koskinen
Affiliations:
Irvine Compiler Corp.;-
Venue:
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Year:
2011

Citing 4
Cited 2

Ada 95: the craft of object-oriented programming

Ada 95: the craft of object-oriented programming
Selected Papers on Computer Languages

Selected Papers on Computer Languages
The Art of UNIX Programming

The Art of UNIX Programming
The Ada Compiler Validation Capability

Computer

Making the non-executable ACATS tests executable

SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
Adapting ACATS for use with run-time checks suppressed

Proceedings of the 2012 ACM conference on High integrity language technology

Quantified Score

Hi-index	0.00

Visualization

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.