Вы здесь

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

Автор: 
Спицына Наталия Владимировна
Тип работы: 
Дис. канд. техн. наук
Год: 
2005
Артикул:
567366
129 грн
(417 руб)
Добавить в корзину

Содержимое

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. ОСНОВНЫЕ ПОНЯТИЯ, ПОСТАНОВКА ЗАДАЧИ И ОБЗОР ЛИТЕРАТУРЫ.
1.1. Модели дискретных систем
1.2. Представление сетевых протоколов при помощи конечных автоматов .
1.3. Особенности проверки взаимодействия дискретных систем.
1.4. Модели неисправности и проверяющие тесты
1.5. Описание задач, решаемых в работе
1.6. Обзор существующих методов
1.6.1. Известные операции композиций дискретных систем, решение языковых и автоматных уравнений
1.6.2. Обзор методов построения тестов для проверки взаимодействия дискретных систем
1.7. Выводы по главе.
2. КОМПОЗИЦИЯ ЯЗЫКОВ, ПОЛУАВТОМАТОВ И АВТОМАТОВ
2.1. Обобщенная композиция элементов, поведение которых описано формальными языками
2.1.1. Элементы и системы взаимодействующих элементов
2.1.2. Построение языка, описывающего поведение системы взаимодействующих элементов.
2.1.3. Построение языка, описывающего поведение неизвестного элемента в системе
2.2. Обобщенная композиция полуавтоматов.
2.2.1. Описание системы взаимодействующих полуавтоматов
2.2.2. Нахождение неизвестного полуавтомата в системе взаимодействующих полуавтоматов
2.3. Обсуждение ограничений на структуру и режим работы для композиции конечных автоматов
2.4. Частные случаи композиции автоматов
2.4.1. Синхронная композиция автоматов
2.4.2. Параллельная композиция автоматов
2.4.3. Бинарная композиция с кратным стимулированием
2.4.4. Некоторые свойства бинарной композиции с кратным стимулированием
2.4.5. Нахождение неизвестного автомата в системе взаимодействующих автоматов.
2.5. Выводы по главе
3. ТЕСТИРОВАНИЕ ОТНОСИТЕЛЬНО ОСЦИЛЛЯЦИЙ.
3.1. Модель неисправности для тестирования относительно осцилляций
3.2. Выбор класса неисправностей на основе частичного задания компонент композиции
3.3. Особенности тестирования относительно осцилляций.
3.4. Метод построения проверяющих тестов на отсутствие осцилляций по ф мутационному автомату.
3.4.1. Построение полного проверяющего теста на основе безусловного тестирования
3.4.2. Построение полного проверяющего теста на основе условного тестирования
3.5. Экспериментальные результаты.
3.6. Выводы по главе.
4. МОДЕЛИ НЕИСПРАВНОСТИ И СИНТЕЗ ТЕСТОВ ДЛЯ ПРОВЕРКИ ФУНКЦИОНИРОВАНИЯ ВЗАИМОДЕЙСТВУЮЩИХ АВТОМАТОВ ПРИ КРАТНОМ СТИМУЛИРОВАНИИ.
4.1. Синтез тестов для композиции А1 0ХЛ2
4.2. Синтез тестов для композиции Л1 0Л2
4.2.1. Полный проверяющий тест при использовании мутационного автомата
4.2.2. Модель неисправности при тестировании композиции А1 0 А2.
4.2.3. Алгоритм построения полного проверяющего теста
4.2.4. Построение тестов для компонент сети на основе решения автоматных
уравнений
4.3. Синтез тестов для удаленной компоненты.
4.3.1. Построение тестов для композиций I 0 А2 А 1 0ф2 АТ.
4.3.2. Исследование отношения неразделимости
4.4. Выводы по главе
5. ТЕСТИРОВАНИЕ ПРОГРАММНЫХ РЕАЛИЗАЦИЙ ПРОТОКОЛОВ В ЛАБОРАТОРНОМ ПРАКТИКУМЕ.
5.1. Краткое описание предлагаемых лабораторных работ.
5.2. Ошибки, типичные при реализации любого протокола прикладного уровня
5.3. Возможные ошибки при реализации конкретного протокола прикладного уровня
5.3.1. Возможные ошибки при реализации протокола 3.
5.3.2. Возможные ошибки при реализации протокола .
5.3.3. Возможные ошибки при реализации протокола .
5.3.4. Возможные ошибки при реализации протокола I.
5.3.5. Возможные ошибки при реализации протокола .
5.4. Автоматизация тестирования студенческих реализаций протоколов
5.4.1. Постановка задачи автоматизации тестирования.
5.4.2. Архитектура тестера
5.4.3. Пример тестирования РОРЗсервера.
5.5. Выводы по главе
ЗАКЛЮЧЕНИЕ.
СПИСОК ЛИТЕРАТУРЫ