|
Мы представляем коммерческое подразделение группы UniTesK Lab. Института Системного Программирования Российской Академии Наук, которая уже более 11 лет ведет исследования, разработки и предоставляет услуги по тестированию и верификации программных систем.
Группа была создана в 1994 году для реализации проекта Nortel Networks по тестированию программного интерфейса ядра операционной системы реального времени с целью переноса ядра на многопроцессорную конфигурацию. Мы успешно справились с задачей, разработав технологию тестирования на основе формальных спецификаций, пакет формальных спецификаций, инструменты для генерации тестов и для проведения регрессионного тестирования. В дальнейшем группа развивала методы спецификации и тестирования, учитывающие особенности целевых программ и языков программирования, на которых они реализовывались. К настоящему времени разработанные методы опробованы на задачах тестирования:
- ядер операционных систем;
- систем поддержки времени исполнения в компиляторах и текстовых процессорах;
- компиляторов, от блоков синтаксического и семантического анализа до оптимизаторов и генераторов кода;
- реализаций телекоммуникационных протоколов;
- компонентов, предоставляющих стандартные интерфейсы (COM, CORBA, .NET, EJB).
UniTESK - технология тестирования на основе формальных спецификаций или моделей программ. Мы разработали концепцию технологии, спецификационные расширения языков программирования, унифицированную архитектуру тестовых программ. |
