|
In the CTESK toolkit, SeC (Specification Extension of C) language is used for test development. Using SeC leads to faster test development, reduced test complexity due to constructs of SeC language that “hide” too complex technical aspects required for testing. The SeC language is a superset of the C language, and thus is preserves power and flexibility of the C language.
A program written in SeC should be translated into C that in its turn is compiled into an executable module. The compilation of C code can be performed using the platform’s standard development tools. The SeC to C translation is performed by the CTESK tool called SeC translator.
During an execution a test developed in CTESK traces various events such as test oracle invocation, hit of some coverage element, detection of inconsistency between an implementation and its specification. The CTESK report generator gathers information about all these events and makes a report about test execution.
A CTESK test report is an HTML document containing the following.
- The name of the test, the time of its start and finish.
- Functions that were tested by the test.
- Whether implementation conforms to its specification.
- Additional information about found defects that might help to identify it (if any).
- Total coverage for tested functions performed by this test.
CTESK 2.1 Community Edition toolkit is intended for work at any Linux platform with JRE (Java Runtime Environment) 1.4 or higher and gcc 3.2 or higher. Sun JRE is recommended (can be downloaded from java.sun.com).
CTESK toolkit has been tried on RedHat Linux 9.0 and SuSe Linux 9.2 with gcc 3.2.
|
|
