Project

General

Profile

News

C++TESK Testing ToolKit v1.0.8 released

Added by Alexander Kamkin over 7 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 v1.0.7 released

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

C++TESK Testing ToolKit v1.0.6 released

Added by Alexander Kamkin over 7 years ago

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

  • All the warnings appearing during the compilation with -Wextra flag have been removed
  • The documentation has been updated
  • Additional debug facilities have been added
  • Minor core improvement has been made
  • Examples have been slightly updated
  • Scripts for the SSH cluster have been added
  • New version of the VeriTool can be installed while using install.sh with --install-veritool flag

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

C++TESK Testing ToolKit v1.0.2 released

Added by Alexander Kamkin almost 8 years ago

C++TESK Testing ToolKit 1.0.2 has been released. The main changes are:

  • Examples (FIFO and counter) have been included
  • C++TESK Hardware Edition's Quick Reference has been included
  • CTESK distribution has been included into cpptesk-toolkit-src-*.tar.gz
  • Aspectrace-based coverage tracing has been implemented in C++TESK
  • Several new features have been implemented in C++TESK Hardware Edition
  • Support of nondeterministic state graphs has been implemented in NetFSM
  • Small changes have been done in CTESK (related to NetFSM evolution)

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

Первый релиз С++TESK Testing ToolKit

Added by Alexander Kamkin almost 8 years ago

Вышел первый релиз C++TESK Testing ToolKit, набора инструментов тестирования, основанных на языке программирования С++. Набор инструментов включает в себя С++TESK (разработка формальных спецификаций и тестовых сценариев на языке программирования C++), C++TESK Hardware Edition (построение эталонных моделей цифровой аппаратуры на языке программирования C++), CTESK (автоматизированная генерация тестовых последовательностей на основе автоматных моделей), Distributed FSM (распараллеливание тестов на вычислительных кластерах) и Aspectrace (трассировка и построение отчетов). Скачать C++TESK Testing ToolKit можно по адресу http://forge.ispras.ru/projects/cpptesk-toolkit/files.

(21-28/28)

Also available in: Atom