C++TESK Testing ToolKit v1.0.18 has been released. The following things have been done.
- Virtual method invariant() has been added to the message class
- Macros for declaring arrays of interfaces have been implemented (CPPTESK_DECLARE_{INPUT|OUTPUT}_ARRAY, CPPTESK_DECLARE_{INPUT|OUTPUT}_ARRAY_2D, etc.)
- New macros for declaring/defining interface adapters have been added (CPPTESK_DEFAULT_{INPUT|OUTPUT}_ADAPTER, CPPTESK_SET_DEFAULT_{INPUT|OUTPUT}_ADAPTER and CPPTESK_{DECLARE|DEFINE}_DEFAULT_{INPUT|OUTPUT}_ADAPTER)
- Macros CPPTESK_SET_{IFACE|INOUT}_ADAPTER have been removed
- New macros for randomized generation have been implemented (CPPTESK_RANDOM(_{WIDTH|FIELD|BITS|RANGE})_EXCLUDING)
- Automatic tracking of interface usage coverage has been included
- Macro CPPTESK_ADD_NONRANDOMIZABLE_FIELD has been added
- Macros CPPTESK_WITH_PROBABILITY, CPPTESK_ELSE_WITH_PROBABILITY and CPPTESK_ELSE have been implemented
- Callbacks onCycleBegin() and onCycleEnd() have been added
- Further improvement of the Eclipse IDE plugin has been made
- Several bugs in the error diagnostic subsystem have been fixed
- CPPTESK_SHORT_NAMES is activated automatically if CPPTESK_SHORT_SHORT_NAMES is defined
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK Testing ToolKit v1.0.17 has been released. The following things have been done.
- Error diagnostics has been improved
- Macros CPPTESK_DECLARE_BIT_ARRAY, CPPTESK_DECLARE_FIELD_ARRAY, etc. have been implemented
- Several bugs have been fixed
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
Merry Christmas and Happy New Year!
C++TESK Testing ToolKit v1.0.16 has been released. The following things have been done.
- Bug leading to a segmentation fault on 64-bit systems has been fixed
- Improvement of the Eclipse IDE plugin has been done
- Macro CPPTESK_SET_TRACE_FILE(file_name) turning on tracing of test actions has been implemented
- Error diagnosis component has been integrated into the toolkit (experimental feature)
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK Testing ToolKit v1.0.15 has been released. The following things have been done.
- User documentation has been updated
- Command line parameters --exit-at-cycle <cycle-number> and --exit-if-condition
have been added
- CoverageTracker's method isFullyCovered<CoverageType>() has been
implemented
- Further improvement of the Eclipse IDE plugin (still experimental) has been done
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK Testing ToolKit v1.0.14 has been released. A number of new features have been implemented.
- New version of VeriTool.
- Automatic catcher of unexpected reactions.
- Macro CPPTESK_SET_DEBUG_LOGFILE(filename) to duplicate debug output into a file.
- Basic Eclipse IDE plugin.
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK Testing ToolKit v1.0.13 has been released. The new features are as follows.
- Example illustrating usage of C++TESK in couple with SystemVerilog (counter_sv)
- Printing more information about MISSING, UNEXPECTED, and INCORRECT reactions
- Installation guide in English
- Support of 64-bit Linux systems
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK web forums (one for Russian speakers and one for English speakers) opened today on http://forge.ispras.ru/projects/cpptesk-toolkit/boards.
We hope that forums will help both C++TESK users and developers. Users will be able to get useful information quickly and to exchange their experience, while developers will get immediate feedback from users.
Both forums are open for viewing; to post messages, an account is required. E-mail us to cpptesk-support [at] ispras.ru to get further information on how to get an account.
You are welcome to join the C++TESK community.
C++TESK Testing ToolKit v1.0.11 has been released. The following things have been done.
- Simple heuristic to avoid getting caught in an endless loop during non-deterministic graph traversal has been implemented
- Command line parameter --print-progress turning on the traversal progress printing has been added
- Example cache_coherence has been included to demonstrate methods for state abstraction and non-deterministic graph traversal
- One mistake in distributed test launching has been fixed
- Scripts have been improved
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK Testing ToolKit v1.0.10 has been released. The following things have been done.
- Critical bug in the C++ test scenario wrapper (causing the last iteration to be missed) has been fixed
- Debug print has been slightly corrected
- New version of VeriTool has been attached
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.