Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением

Оглавление
Введение
Принятые обозначения
1 Основные понятия и определения
1.1 Введение.
1.2 Входовыходные полуавтоматы
1.3 Автоматы.
1.4 Временные автоматы.
1.5 Краткий обзор литературы но синтезу условных тестов для
автоматных моделей.
1.6 Выводы по главе 1
2 Различающие эксперименты с недетерминированными автоматами
2.1 Введение.
2.2 Отношения гсовместимости и гразличимости.
2.3 Алгоритм построения гразличающего автомата
2.4 Синтез проверяющих тестов при явно заданной области.неисправности и по мутационному автомату.
2.5 Локализация неисправной компоненты в композиции двух
конечных автоматов.
2.5.1 Модель неисправности и распознавание неисправной компоненты
2.5.2 Параллельная композиция автоматов
2.5.3 Модель неисправности и распознавание неисправной компоненты
2.5.4 Результаты компьютерных экспериментов
2.6 Основные результаты главы 2
3 Различающие эксперименты с входовыходными полуавтоматами
3.1 Введение.
3.2 Отношение юсоразличимости.
3.3 Алгоритм построения юсоразл и чающего полуавтомата .
3.4 Синтез проверяющих тестов на основе перебора элементов из
области неисправности.
3.5 Связь между юсо и к ваз иредукцией.
3.5.1 Построение конечного автомата по входовыходному полуавтомату
3.5.2 Построение полного проверяющего теста для входовыходных полуавтоматов на основе полного проверяющего теста для автоматов .
3.6 Основные результаты главы 3
4 Различающие эксперименты с временными автоматами
4.1 Введение
4.2 Отношение гсовместимости
4.3 Алгоритм построения гразличающего временного автомата
4.4 Синтез проверяющих тестов для явно заданной области неисправности
4.5 Основные результаты главы 4.
Заключение
Литература