С 7 по 11 июня в Институте системного программирования РАН пройдет два тренинга по технологии UniTESK:

• "Функциональная верификация HDL-моделей аппаратного обеспечения с помощью инструмента CTESK"
  Тренинг предназначен для разработчиков и верификаторов цифрового аппаратного обеспечения.
  Практические занятия тренинга нацелены на освоение следующих навыков: формальной спецификации модулей аппаратуры, связывания формальных спецификаций с HDL-моделями,  автоматической генерации последовательностей тестовых воздействий,  оценки качества тестирования в терминах формальных спецификаций. 
  Требования к участникам: Владение языком программирования Си, знакомство с одним из языков описания аппаратуры (VHDL, Verilog). 
  
• "Тестирование на основе моделей с помощью инструмента CTESK"
  Тренинг предназначен для тестировщиков программного обеспечения, обладающего программным интерфейсом на языке программирования Си. 
  Практические занятия тренинга нацелены на освоение следующих навыков: формальной спецификации требований к ПО, автоматической  генерации последовательностей тестовых воздействий, оценки качества тестирования в терминах формальных спецификаций.
  Требования к участникам: Владение языком программирования Си.
  

Дополнительную информацию по инструменту CTESK можно найти в разделе Документация.

Продолжительность каждого из тренингов 5 дней (по 8 часов).
Стоимость участия в тренинге - 25 тыс. рублей. При участии нескольких человек от одной организации предоставляются скидки.
По вопросам участия обращайтесь к Александру Константиновичу Петренко по тел. (495)912-53-17 доб. 4404 или по электронной почте