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