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

Выполнение экспериментального сравнения методов синтеза проверяющих тестов для детерминированных автоматов во время проведения стажировки в университете Кобленц-Ландау.

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта

Проведение стажировок в зарубежных научно-образовательных центрах

Соисполнители

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

1
04.09.2005 - 04.11.2005
В результате проведенных исследований получены следующие результаты:
1. Программно реализованы W-, DS-, Wp-, UIOv-, UIO-, HSI-, H-методы построения тестов для конечных автоматов. Проведен сравнительный анализ данных методов на большом количестве примеров. Экспериментально показано, что W- и UIOv-методы доставляют избыточные тесты по сравнению с другими методами. Также достаточно большими оказываются временные затраты, необходимые на построение тестов данными методами. Длины Wp- и HSI-тестов практически совпадают, но превышают длины H-, DS-, UIO-тестов. UIO-метод доставляет тесты по длине близкие к минимальным, но, как показали эксперименты, в большинстве случаев эти тесты не являются полными. Н- и DS-методы доставляют значительно более короткие тесты, чем другие беспереборные методы, однако DS-метод применим только к 30% эталонных автоматов, а временные затраты на его построение превышают временные затраты на построение теста W-методом в среднем в два раза. При этом временные затраты на построение теста Н-методом оказываются намного меньше, чем временные затраты других методов. Эксперименты показали, что отношения длин тестов как для m = n, так и для значений m, которые больше n, практически не зависят от размера (числа переходов) эталонного автомата и в частности тесты, построенные H-методом более чем в два раза короче тестов, построенных W-методом.
2. Предложен метод построения проверяющих тестов относительно модели «серого ящика», когда тестируется только часть переходов проверяемого автомата, и проведены эксперименты по анализу тестов, доставляемых этим методом. Отмечено, что при генерации тестов относительно модели «серого ящика», в некоторых случаях зависимость длин тестов становится полиномиальной относительно размеров проверяемого автомата. Эксперименты показали, что, когда число тестируемых переходов в системе не превышает 30%, то в среднем тесты, построенные относительно модели «серого ящика» короче тестов, построенных относительно модели «черного ящика» в 625-46 раз.
Таким образом, в ходе работы было разработано математическое и программное обеспечение для синтеза проверяющих тестов для систем логического управления методами теории автоматов. Все полученные результаты обоснованы математически, проанализированы и экспериментально подтверждены. Разработанные технологии и программное обеспечение могут быть использованы в современных комплексах диагностики и тестирования систем логического управления.

Результаты, полученные в ходе выполнения проекта, позволили повысить готовность докторской диссертационной работы Дорофеевой М. Ю. с 80% до 90%.
Полученные результаты имеют высокий научный уровень, соответствующий мировому. По результатам исследования уже опубликованы две статьи в трудах престижных научных конференций, опубликована статья в журнале «Вестник ТГУ», подготовлена и представлена статья в журнал IEEE Transaction on Software Engineering.
Запланированные по проекту исследования выполнены, поставленные задачи решены в полном объеме.
Развернуть

Программа

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

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

1.11 Развитие системы стажировок молодых ученых и преподавателей в крупных научно-образовательных центрах (включая зарубежные) и участие в конференциях, симпозиумах, семинарах, школах (в том числе за рубежом)
Тема
Выполнение научно-исследовательских, опытно-конструкторских и технологических работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
26,4 млн
Количество заявок
66
Тема
Выполнение научно-исследовательских, опытно-конструкторских и технологических работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
17,6 млн
Количество заявок
42
Тема
Выполнение научно-исследовательских работ молодыми учеными и преподавателями во время проведения стажировок в зарубежных научно-образовательных центрах (в том числе с участием в конференциях, симпозиумах, семинарах, школах).
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
46 млн
Количество заявок
153
Тема
Разработка и развитие инновационных методов и алгоритмов моделирования, основанных на применении решеточных методов и методов клеточных автоматов, предназначенных для численного исследования мультифизических систем.
Продолжительность работ
2011 - 2012, 14 мес.
Бюджетные средства
13 млн
Количество заявок
2
Тема
Выполнение научно-исследовательских, опытно-конструкторских и технологических работ молодыми учеными и преподавателями во время проведения стажировок в российских научно-образовательных центрах.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
7,2 млн
Количество заявок
64