News

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.13 released

Added by Alexander Kamkin almost 6 years ago

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 Testing ToolKit: С++TESK web forums opened

Added by Alexander Kamkin almost 6 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: C++TESK Testing ToolKit v1.0.12 released

Added by Alexander Kamkin almost 6 years ago

C++TESK Testing ToolKit v1.0.12 has been released. Several minor bugs have been fixed.

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

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.11 released

Added by Alexander Kamkin almost 6 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: C++TESK Testing ToolKit v1.0.10 released

Added by Alexander Kamkin almost 6 years ago

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.

Local Support Project: Redmine 1.2.1, code review plugin 0.4.4 (5 comments)

Added by Alexey Demakov almost 6 years ago

Redmine updated to 1.2.1.stable.6414.
Code review plugin updated: 0.4.0 -> 0.4.4
Please report if you find any problems.

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.9 released

Added by Alexander Kamkin almost 6 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.

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.8 released

Added by Alexander Kamkin about 6 years ago

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

  • Bug in the process scheduling has been resolved (it occured while a newly created parallel process immediately finished)
  • Additional checking of the process calling stack has been inserted
  • Printing violated assertions to the utt2 trace has been implemented
  • Macroses for colored debug print have been added (CPPTESK_COLORED_DEBUG_PRINT(F))
  • Scripts "show current version" (version.sh) and "update me" (update.sh) have been added
  • Graphviz-based script "draw the image of the state graph" (graphviz.sh) has been added
  • Examples have been slightly updated

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

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.7 released

Added by Alexander Kamkin about 6 years ago

C++TESK Testing ToolKit v1.0.7 has been released. The following improvements have been done:

  • A memory leak problem has been found and solved
  • Caching mechanism for iteration context has been developed
  • Printing statistics on reactions at the end of testing has been added
  • Macros for registering incomparable message fields have been added
  • Slight improvement of the summary report generation
  • Highlighting of the installation progress

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

Requality: Выпущена публичная бета-версия инструмента Requality 0.11

Added by Alexey Demakov about 6 years ago

1 ... 22 23 24 25 26 27 (231-240/268)

Also available in: Atom