News

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

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

Linux Driver Verification: Version 0.3 of LDV Tools Released

Added by Pavel Shved about 6 years ago

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: KEDR 0.3 released

Added by Eugene Shatokhin about 6 years ago

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: C++TESK Testing ToolKit v1.0.5 released

Added by Alexander Kamkin about 6 years ago

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: C++TESK Testing ToolKit v1.0.4 released

Added by Alexander Kamkin about 6 years ago

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: C++TESK Testing ToolKit v1.0.3

Added by Alexander Kamkin about 6 years ago

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: C++TESK Testing ToolKit v1.0.2 released

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

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

Added by Alexey Demakov about 6 years ago

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

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

KEDR: KEDR 0.2.1 released

Added by Eugene Shatokhin over 6 years ago

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

1 ... 23 24 25 26 27 (241-250/268)

Also available in: Atom