17–24 марта на выставке CeBIT в Ганновере в рамках экспозиции Министерства промышленности, науки и технологий России будет представлена технология UniTESK и новые версии инструментов семейства UniTESK. Посетите наш стенд — Halle 5, Stand E48!
|
|
|
Опубликованы case studies по инструментам UniTESK |
Опубликованы case studies по индустриальным, экспериментальным и пилотным проектам, проведенным с использованием технологии UniTesK.
(см. case studies по инструментам CTesK и OTK) |
|
|
UniTESK: тестирование на основе моделей в индустриальной практике |
|
11 декабря на 1-ой Европейской конференции по разработке программного обеспечения на основе моделей был представлен доклад «UniTESK: тестирование на основе моделей в индустриальной практике». Доклад вызвал интерес специалистов из Microsoft, IBM Research Laboratory (Haifa), Программы IST в рамках Framework 6, а также других участников конференции. |
|
|
Проведен тренинг по OTK для корпорации Intel |
|
24–28 ноября для корпорации Intel проведен тренинг по созданию генераторов тестов для автоматического тестирования анализирующих и оптимизирующих модулей компиляторов с помощью инструмента OTK. Участники отметили высокую эффективность тренинга. Во время проектной работы (16 часов) они с помощью изученной технологии построили тесты для двух сложных компонентов реального оптимизирующего компилятора Intel. |
|
|
UniTESK на «Agile Formal Methods» |
|
20 ноября в Тессалониках (Греция) пройдет 1-я Европейская конференция по формальным методам «Agile Formal Methods: Practical, Rigorous Methods for a changing world». На конференции будет представлен доклад «Обучение инструментам тестирования сложных программных систем». |
|
|
|
<< [Первая] < [Предыдущая] 1 2 3 4 5 6 7 8 9 [Следующая] > [Последняя] >>
|
| Результаты 64 - 72 из 81 |
