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

В результате проведенных исследований получены следующие результаты:
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.
Запланированные по проекту исследования выполнены, поставленные задачи решены в полном объеме.