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 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 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 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 1.0.5 has been released. The following improvements have been done:
- Report generation
- Tracing of errors
- Documentation
- VIM syntax highlighting
- Dumping of a state graph
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK Testing ToolKit 1.0.4 has been released. The following things have been done:
- Improvement of the report generator
- Description of the test engines' options
- Small changes in the earlier documentation
- Bug fixes in the installation scripts
- Minor improvement of the examples
The toolkit can be download from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
C++TESK Testing ToolKit 1.0.3 has been released. The following features have been added:
- Report generator
- Installation scripts for VeriTool (including Icarus Verilog)
- Installation guide document
- Means for creating VeriTool-based adapters
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
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.
Вышел первый релиз 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.