Выпущена бета-версия инструмента CTESK 2.5, поддерживающего технологию UniTESK.

Новые возможности инструмента:

• Реализована полноценная интеграция CTESK в среду разработки Eclipse+CDT (C/C++ Development Tools)
• В спецификационном расширении языка C реализованы расширенные возможности определения структуры тестовых покрытий и сбора информации о достигнутом покрытии.
• Библиотека поддержки времени выполнения тестов полностью реализована на языке С для улучшения совместимости бинарных файлов библиотеки с различными версиями компилятора gcc.
• В трансляторе спецификационного расширения улучшена поддержка языка С и дополнительных возможностей, предоставляемых компилятором gcc.
• Существенно повышена скорость и стабильность работы инструмента, в том числе на больших тестовых наборах.

Последняя версия инструмента CTESK 2.5 теперь доступна для скачивания.