Ви є тут

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем

Автор: 
Дорофеева Маргарита Юрьевна
Тип роботи: 
диссертация кандидата технических наук
Рік: 
2007
Артикул:
566610
179 грн
Додати в кошик

Вміст

СОДЕРЖАНИЕ
Введение
1. Основные понятия, постановка задачи и обзор существующих методов ее
решения
1Л Конечные автоматы
1.2. Отношения между автоматами.
1.2.1. Отношения конформности.
1.2.2. Отношения различимости.
1.3. Модели неисправности и проверяющие тесты.
1.3.1. Модель неисправности.
1.3.2. Проверяющие тесты
1.4. Выбор модели неисправности.
1.4.1. Модель черного ящика 5,,3тАг,У
1.4.2. Мутационный автомат и его использование для описания модели
неисправности
1.5. Постановка задачи синтеза тестов.
1.6. Методы синтеза проверяющих тестов для конечных автоматов
относительно модели 5,,5тАг,У.
1.6.1. Построение теста перечислением неисправностей
1.6.2. Идентификация состояний
1.6.3. Методы построения тестов.
1.7. Методы синтеза проверяющих тестов для недетерминированных автоматов.
1.8. Методы синтеза проверяющих тестов относительно мутационного
автомата.
1.9. Теоретические оценки длины проверяющего теста
1 Выводы по главе.
2. Экспериментальное сравнение методов синтеза проверяющих тестов для детерминированных автоматов
2.1. Генератор псевдослучайных автоматов.
2.1.1. Способ генерации автомата.
2.1.2. Анализ свойств генерируемых автоматов.
2.2. Экспериментальное исследование избыточности тестов, доставляемых различными методами
2.3. Экспериментальное исследование абстрактных методов синтеза тестов относительно модели черного ящика
2.3.1. Исследование зависимости длин тестов от числа состояний эталонного автомата
2.3.2. Сравнение с теоретическими оценками.
2.3.3. Исследование зависимости длины теста от числа выходных символов в автомате.
2.3.4. Полнота Iтестов
2.4. Результаты экспериментов с протоколами i i и V.
2.4.1. Сравнение длин тестов, построенных различными методами, для протокола
2.4.2. Сравнение длин тестов, построенных различными методами, для протокола V
2.5. Выводы по главе.
3. Метод синтеза проверяющих тестов для детерминированных автоматов с использованием построенной части теста Яметод.
3.1. Достаточные условия полноты теста.
3.2. Яметод построения полного проверяющего теста.
3.2.1. Стратегии перебора последовательностей
3.2.2. Алгоритм построения проверяющего теста
3.3. Экспериментальные результаты по оценке длины тестов, доставляемых Яметодом
3.4. Яметод для частичных приведенных автоматов.
3.4.1. Определения и обозначения.
3.4.2. Достаточные условия полноты теста.
3.4.3. Яметод построения полного проверяющего теста для частичного эталонного автомата
3.5. Выводы по главе.
4. Метод синтеза проверяющих тестов для недетерминированных автоматов с использованием построенной части теста адаптация Яметода
4.1. Определения и обозначения
4.2. Построение полного проверяющего теста относительно эквивалентности.
4.2.1. Достаточные условия полноты относительно модели неисправности
5,г,ОяедЮ
4.2.2. Метод построения полного проверяющего теста относительно модели
неисправности 5,,0яЛгУ.
4.3. Построение полного проверяющего теста относительно редукции
4.3.1. Понятие гразличимости.
4.3.2. Достаточные условия полноты теста
4.3.3. Метод построения полного проверяющего теста.
4.4. Основные результаты главы.
5. Метод синтеза полных проверяющих тестов по мутационному автомату
5.1. Основные понятия и определения.
5.2. Построение полного проверяющего теста относительно модели 5,,5и63
5.3. Экспериментальные результаты.
5.4. Основные результаты главы
Заключение
Литература