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.
The most significant changes include:
- Three kernel rules were brought to a good quality level, and they now find more bugs: spin lock/unlock, memory allocation inside spin locks, and alloc/free urb — in addition to the good old mutex lock/unlock
- New Aspectator (aspect-oriented programming tool for C) was integrated into the projects, and the structure and the variable names of a program processed now looks nearly as well as the original one
- Concurrent and distributed execution of driver verification
- Support of CPAchecker static analysis tool, as well as of BLAST
See the downloading instructions to get these tools.
The source code repository may be browsed by v0.3 tag.
KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
This release provides several enhancements and various fixes compared to version 0.2.1. The most significant changes:
- Handling of intercepted function calls has been revisited to allow doing several kinds of analysis at the same time (e.g. performing fault simulation and memory leak detection simultaneously).
- The components responsible for fault simulation are now decoupled from call monitoring (call tracing) facilities and can be used independently if necessary.
- Several enhancements and fixes have been applied to the trace capturing utility.
- Stack trace-related API has been revisited and simplified. If the kernel provides reliable stack traces, the API works now even if save_stack_trace() is not available.
- Handling of allocations and frees in the memory leak detector is now deferred via a work queue. This allows to significantly reduce the time spent with locks held.
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.
KEDR is an extensible system for dynamic analysis of kernel modules (device drivers, file system modules, etc.) in Linux. KEDR tools operate on the modules chosen by the user and can detect memory leaks, perform fault simulation and more.
In version 0.2.1, the build system was enhanced. Now it allows building KEDR for a kernel different from the one running on the build machine. It is also possible to build KEDR for a different system (e.g. for Chromium OS, x86-generic). The details are in the Wiki:
http://openfacts2.berlios.de/wikien/index.php/BerliosProject:KEDR