News

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

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

Requality: Daily update site

Added by Alexey Demakov over 6 years ago

Update site for daily testing build of Requality is available at

http://forge.ispras.ru/repo/requality/site_daily/

Main update site will provide only stable releases:

http://forge.ispras.ru/repo/requality/site/

KEDR: KEDR 0.2 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.

Version 0.2 brings several enhancements and various bug fixes.

Most significant changes:
  • Tracing subsystem has been completely rewritten to be more versatile
    and reliable even on SMP systems.
  • A memory leak detector (LeakCheck) has been implemented.
  • It is now possible to restrict fault simulation to particular areas
    in the target module (if the kernel provides reliable stack traces).
  • Several fixes have been made for KEDR to be able to work on the
    versions 2.6.37 and 2.6.38 of the kernel.
  • Call monitoring for 20 more functions is now supported. Support for
    fault simulation for many of these functions as well as for vmalloc() group
    has also been provided.
  • The issues concerning parallel builds (make -j N) have been fixed.

Local Support Project: code review plugin

Added by Alexey Demakov almost 7 years ago

Feel free to use code review plugin and report any related problems found.

1 ... 25 26 27 28 29 (261-270/285)

Also available in: Atom