Project

General

Profile

News

C++TESK Testing ToolKit v1.0.16 released

Added by Alexander Kamkin almost 8 years ago

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 released

Added by Alexander Kamkin about 8 years ago

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.

С++TESK web forums opened

Added by Alexander Kamkin about 8 years ago

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 released

Added by Alexander Kamkin over 8 years ago

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.9 released

Added by Alexander Kamkin over 8 years ago

C++TESK Testing ToolKit v1.0.9 has been released. The following features have been done.

  • The libmicrohttpd library has been included into the package
  • Bookmarks have been added to all of the documents
  • Debug printing has been improved (if an error happens inside a process, call stack is shown)
  • Macro CPPTESK_CALL_STACK() that can be used in CPPTESK_DEBUG_PRINT() has been added (it makes sense only in reference models)
  • Macros CPPTESK_SET_DEBUG_LEVEL() and CPPTESK_SET_DEBUG_STYLE() intended for debug printing setup have been implemented
  • Macros CPPTESK_COLORED_DEBUG_PRINT(F)() for colored debug printing have been added
  • Examples have been improved
  • A bug in the 64-bit message field randomization has been fixed
  • Macros CPPTESK_RANDOM_ENUM() and CPPTESK_RANDOM_CHOICE() have been implemented
  • Callback noEveryCycle() starting at each cycle of simulation has been added
  • Message fields validity check has been implemented (warning is printed if a field is uninitialized)
  • Quick reference has been updated (assertions, debug possibilities, etc.)

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

(11-20/28)

Also available in: Atom