Технологии тестирования

В Центре используются и развиваются технологии автоматизированной разработки тестов для различных компонентов ОС Linux, обеспечивающие наилучшее соотношение "цена и качество" в различных ситуациях:

• UniTESK - технология и средства для тестирования с высоким качеством на основе формальных спецификаций.
• T2C – методология и инструменты для разработки тестов "обычного" качества.
• API Sanity Autotest – уникальная технология для автоматизированной массовой разработки простых тестов.

Для знакомства с методами тестирования, применяемыми в Центре, рекомендуем следующую обзорную статью:

• Е.А. Герлиц, В.В. Кулямин, А.В. Максимов, А.К. Петренко, А.В. Хорошилов, А.В. Цыварев
  Тестирование операционных систем Труды ИСП РАН, том 26-1, 2014. С. 73-108.

Другие работы представлены в разделе Публикации.