Project

General

Profile

News

C++TESK Testing ToolKit v1.0.18 released

Added by Alexander Kamkin about 9 years ago

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

Added by Alexander Kamkin over 9 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 over 9 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 over 9 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 9 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.

(11-20/29)

Also available in: Atom