C++TESK Testing ToolKit

C++TESK Testing ToolKit v1.0.26 has been released. The following things have been done.

• Fix compilation problems when using modern gcc

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit will be presented at the IP Track, University Booth and PhD Forum of the Design Automation Conference (DAC) - the premier conference for design and automation of electronic systems. The conference will take place on June 1-5 in San Francisco, CA, USA.

DAC offers outstanding training, education, exhibits and superb networking opportunities for designers, researchers, tool developers and vendors. The conference is sponsored by the Association for Computing Machinery (ACM), the Electronic Design Automation Consortium (EDA Consortium), and the Institute of Electrical and Electronics Engineers (IEEE), and is supported by ACM's Special Interest Group on Design. Read more...

C++TESK Testing ToolKit v1.0.24 has been released. The following things have been done.

• SGL (Simple Graph Library) has been implemented
• FSM test engine has been refactored
• Typed message fields have been supported
• PFSM (Probabilitic FSM) and FSM2 (FSM Pairs) test engines have been added

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit v1.0.23 has been released. The following things have been done.

• MinGW is now supported
• Diagnostics subsystem has been improved
• Minor bugs have been corrected
• Support of configuration files has been improved
• Documentation has been moved to Wiki @ forge.ispras.ru/projects/cpptesk-toolkit

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit v1.0.22 has been released. The following things have been done.

• Diagnostics subsystem has been seriously refactored
• Multimodel facilities have been debugged
• Cache coherence checking example has been updated
• Support of configuration files has been added
• Lagged Fibonacci generator has been implemented

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK and MicroTESK hardware verification toolkits were presented at the University Booth exhibition of the Design Automation Conference - the premier event for the design of electronic circuits and systems, electronic design automation (EDA), embedded systems and software (ESS), and intellectual property (IP). The conference took place on 2-6 June, 2013 in Austin, TX, USA (the city, which was nicknamed "the Silicon Hills" in the 1990s because of its unique hi-tech industry).

The conference is sponsored by the Association for Computing Machinery (ACM), the Electronic Design Automation Consortium (EDA Consortium), the Institute of Electrical and Electronics Engineers (IEEE) and ACM's Special Interest Group on Design. Read more...

C++TESK Testing ToolKit v1.0.21 has been released. The following things have been done.

• Process table and scheduler have been refactored
• Buffering of implementation reactions has been implemented
• Support of pipelined implementation reactions has been added
• Experimental facilities for FSM description have been included
• Failure diagnostics has been improved

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

Bugless New Year!

C++TESK Testing ToolKit v1.0.20 has been released. The following things have been done.

• Bugs in static data initialization have been fixed
• Source code detalization of the interface usage conflicts has been implemented
• Support of project building from the Eclipse IDE plugin has been added
• Support of distrubuted testing from the Eclipse IDE plugin has been added
• Problems with test launching from the Eclipse IDE plugin have been solved

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit v1.0.19 has been released. The following things have been done.

• macro CPPTESK_ITERATION_BEGIN_IF (IBEGIN_IF) has been implemented
• support of local variables in CPPTESK_ITERATION_ACTION (IACTION) blocks has been done
• engine's internal assertion 'stimulus id is out of range' has been disabled
• some bugs in the error diagnostics subsystem has been fixed
• Eclipse IDE plugin installation has been simplified

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.

C++TESK Testing ToolKit was demonstrated at the DATE 2012 University Booth exhibition held in Dresden in 13-15 March. The presentation raised interest of researchers and practitioners from different countries including Austria, Estonia, Germany, etc.