C++TESK Testing ToolKit¶

The toolkit was developed in Institute for System Programming of the Russian Academy of Sciencies during 2010-2011.

The major target of the toolkit is to provide useful framework for hardware and software verification.

At the current moment the toolkit includes the following components:

• CTESK
• C++TESK
• C++TESK Hardware Edition
• NetFSM
• Aspectrace