Project

General

Profile

News

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

Added by Alexander Kamkin over 5 years ago

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

  • Bugs in static data initialization have been fixed
  • Source code detalization of the interface usage conflicts has been implemented
  • Support of project building from the Eclipse IDE plugin has been added
  • Support of distrubuted testing from the Eclipse IDE plugin has been added
  • Problems with test launching from the Eclipse IDE plugin have been solved

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.19 released

Added by Alexander Kamkin almost 6 years ago

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

  • macro CPPTESK_ITERATION_BEGIN_IF (IBEGIN_IF) has been implemented
  • support of local variables in CPPTESK_ITERATION_ACTION (IACTION) blocks has been done
  • engine's internal assertion 'stimulus id is out of range' has been disabled
  • some bugs in the error diagnostics subsystem has been fixed
  • Eclipse IDE plugin installation has been simplified

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.18 released

Added by Alexander Kamkin almost 6 years ago

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

  • Virtual method invariant() has been added to the message class
  • Macros for declaring arrays of interfaces have been implemented (CPPTESK_DECLARE_{INPUT|OUTPUT}_ARRAY, CPPTESK_DECLARE_{INPUT|OUTPUT}_ARRAY_2D, etc.)
  • New macros for declaring/defining interface adapters have been added (CPPTESK_DEFAULT_{INPUT|OUTPUT}_ADAPTER, CPPTESK_SET_DEFAULT_{INPUT|OUTPUT}_ADAPTER and CPPTESK_{DECLARE|DEFINE}_DEFAULT_{INPUT|OUTPUT}_ADAPTER)
  • Macros CPPTESK_SET_{IFACE|INOUT}_ADAPTER have been removed
  • New macros for randomized generation have been implemented (CPPTESK_RANDOM(_{WIDTH|FIELD|BITS|RANGE})_EXCLUDING)
  • Automatic tracking of interface usage coverage has been included
  • Macro CPPTESK_ADD_NONRANDOMIZABLE_FIELD has been added
  • Macros CPPTESK_WITH_PROBABILITY, CPPTESK_ELSE_WITH_PROBABILITY and CPPTESK_ELSE have been implemented
  • Callbacks onCycleBegin() and onCycleEnd() have been added
  • Further improvement of the Eclipse IDE plugin has been made
  • Several bugs in the error diagnostic subsystem have been fixed
  • CPPTESK_SHORT_NAMES is activated automatically if CPPTESK_SHORT_SHORT_NAMES is defined

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

Local Support Project: Redmine 1.3, Redmine Mylyn connector (1 comment)

Added by Alexey Demakov about 6 years ago

Redmine обновился до 1.3.0.stable.8748

Установлен плагин Redmine Mylyn connector, который позволяет подключить задачи из Redmine к Mylyn.

Mylyn - это встроенная в Eclipse платформа для управления задачами и жизненным циклом приложения. Эта платформа предоставляет возможность подключения сторонних инструментов.

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

Added by Alexander Kamkin about 6 years ago

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

  • Bug leading to a segmentation fault on 64-bit systems has been fixed
  • Improvement of the Eclipse IDE plugin has been done
  • Macro CPPTESK_SET_TRACE_FILE(file_name) turning on tracing of test actions has been implemented
  • Error diagnosis component has been integrated into the toolkit (experimental feature)

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.15 released

Added by Alexander Kamkin about 6 years ago

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

  • User documentation has been updated
  • Command line parameters --exit-at-cycle <cycle-number> and --exit-if-condition
    have been added
  • CoverageTracker's method isFullyCovered<CoverageType>() has been
    implemented
  • Further improvement of the Eclipse IDE plugin (still experimental) has been done

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

Linux Driver Verification: Google Summer of Code 2011 project was merged to master

Added by Evgeny Novikov over 6 years ago

In frames of Google Summer of Code 2011 Ph.D. student Evgeny Novikov has successfully developed a project "User-friendly Interface for Linux Driver Verification Tools" with help of his mentor Alexey Khoroshilov for The Linux Foundation.

Within the given project a Knowledge Base support was developed. The Knowledge Base infrastructure allows users to keep results of unsafes analysis directly through the Statistics Server Web interface. Then these stored results are automatically applied to new uploaded unsafes in depend on different chosen comparison criteria. This significantly simplifies and speed ups the whole verification results analysis and makes the Linux Driver Verification project more attractive for end-users.

Also several minor issues of the Statistics Server related with usability and speed of page generation were resolved during Google Summer of Code 2011. One can see them here: #570, #1168, #1205, #1265, #1363, #1364, #1537, #1538

A Knowledge Base branch was merged to the master branch of the Linux Driver Verification project. It was successfully integrated with other tools, so stable Knowledge Base functionality is available beginning from 4ca264d.

We're going to continue develop and extend Knowledge Base infrastructure further. Keep in touch!

(241-250/291)

Also available in: Atom