Products


C++TESK Toolkit

C++TESK is a toolkit for testing hardware designs as well as applications developed in C/C++ programming languages. It exteds possibilities of CTESK by using C++ language instead of in-house SeC language and new stimulus generators.

See the C++TESK page on the forge.ispras.ru.

CTESK Toolkit

CTESK

CTESK is a toolkit for testing applications developed in C programming language. It implements UniTESK concepts of automated specification-based testing. The toolkit is also applicable for simulation-based verification of hardware designs.

See the CTESK page on the UniTESK web-site.

CTESK Community Edition

CTESK Community Edition is the free-of-charge full-function version of the CTESK toolkit for Linux. The software is is distributed under the Apache License, Version 2.0.

See the CTESK Community Edition page on the UniTESK web-site.

MicroTESK Test Program Generator

 

 

The MicroTESK demo requires JRE (Java Runtime Environment) 6 or higher to be installed on the computer. JRE can be downloaded from www.java.com. The software is is distributed under the End-User Licence Agreement for UniTESK(TM) Software Evaluation.