Регистрация / Вход
Прислать материал

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

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Внебюджетные средства
0 млн

Информация отсутствует

Этапы проекта

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

Программа

Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы

Программное мероприятие

1.9 Проведение молодыми учеными научных исследований по приоритетным направлениям науки, высоких технологий и образования
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Организация
ИСП РАН
профинансировано
Продолжительность работ
2009 - 2010, 13 мес.
Бюджетные средства
0,76 млн
Организация
МИЭТ
профинансировано
Продолжительность работ
2005 - 2006, 13 мес.
Бюджетные средства
15 млн
Организация
Университет ИТМО
профинансировано
Продолжительность работ
2011 - 2013, 20 мес.
Бюджетные средства
5,99 млн
Организация
ИСП РАН
профинансировано
Тема
Технология автоматного программирования: применение и инструментальные средства
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
15 млн
Количество заявок
2
Тема
Разработка прикладного программного обеспечения по приоритетному направлению «Информационно-телекоммуникационные системы» в области геоинформационно-телекоммуникационных систем.
Продолжительность работ
2008 - 2009, 8 мес.
Бюджетные средства
2,5 млн
Количество заявок
7
Тема
Разработка прикладного программного обеспечения по приоритетному направлению «Информационно-телекоммуникационные системы» в области производственных информационно-телекоммуникационных систем.
Продолжительность работ
2008 - 2009, 8 мес.
Бюджетные средства
2,5 млн
Количество заявок
7
Тема
Разработка прикладного программного обеспечения по приоритетному направлению «Информационно-телекоммуникационные системы» в области программного обеспечения с открытым кодом.
Продолжительность работ
2008 - 2009, 8 мес.
Бюджетные средства
2,5 млн
Количество заявок
7
Тема
Программное обеспечение и средства поддержки технологии разработки программного обеспечения телекоммуникационных систем нового поколения.
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
18 млн
Количество заявок
10