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

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

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

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

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