Тестирование программного обеспечения телекоммуникационного оборудования на основе автоматных моделей.

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