Next: , Previous: Overview of ARTE, Up: Top


2 Definitions

CHECK
CHECK’ is a Free Software project which provides an easy to use unit testing framework for C source code.
TCL
The Tool Command Language, or ‘TCL’, is a very advanced scripting language which can be easily integrated with C source code.
RTA
The Regression Test Archive, or ‘RTA’, is the basic unit for testing, which allows encapsulating in a single file all the needed files needed to execute a single test in the ARTE framework. Currently, two versions of RTA files are managed in ARTE: version 1 and 2.
SUITE
A ‘SUITE’ is a collection of RTAs prepared to analyze a given software module.
PLUGIN
An ARTE ‘PLUGIN’ is an extension to the basic functionalities of the framework, needed when the basic commands of TCL are not enough to test a given software module.