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.