По продукту SynTESK предоставляются следующие виды услуг:
- Поддержка
Обновление версий, ответы на запросы пользователей, информирование о новостях.
- Обучение
Обучение владению инструментом и технологией. Тренинги проводятся как в ИСП РАН, так и в компании пользователей.
- Пилотные проекты
Предоставляется помощь в овладении техникой тестирования на основе формальных спецификаций и внедрении инструмента SynTesK в процессы пользователей. С этой целью наши специалисты участвуют в пилотных проектах, где SynTesK впервые применяется для тестирования некоторого вида ПО.
- Разработка тестов
Разработка тестов, разработка нового и ре-дизайн унаследованного ПО с параллельным созданием спецификаций, документации и тестов.
|
|
