CTESK

• Includes tools for test development, execution and result analysis
• Can be used in - Microsoft Visual Studio 6.0 IDE and command line.
• Test development in SeC (Specification Extension of C) language
• Program written in SeC should be translated into C (using SeC Translator) that in turn is compiled into an executable module
• The CTESK report generator gathers information about all the events and makes a report about test execution.
• Test report is an HTML document
• The report includes total coverage for tested functions performed by this test.
• Supports JRE (Java Runtime Environment) 1.4 & ANSI C89,C99-compatible compiler

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.