Автоматизация процессов аттестационных испытаний средств информационного обмена

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. АНАЛИЗ ПРОЦЕССОВ АТТЕСТАЦИОННЫХ ИСПЫТАНИЙ СРЕДСТВ ИНФОРМАЦИОННОГО ОБМЕНА
1.1. Процедуры аттестационных испытаний средств информационного обмена
1.2. Общесистемные вопросы организации аттестационных испытаний
1.3. Современные требования к безопасности средств информационного обмена
1.4. Концептуальная модель данных информационного обмена
ГЛАВА 2. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРОЦЕССОВ ИНФОРМАЦИОННОГО ОБМЕНА
2.1. Формальная постановка задачи.
2.1.1. Ошибки, выявляемые аттестационным испытанием.
2.1.2. Программа аттестационных испытаний средств информационного обмена
2.1.3. Описание возможностей протокола информационного обмена с помощью формальных языков.
2.2. Модель процессов информационного обмена
2.2.1 Анализ процедуры генерации тестов на основе формального описания в виде недетерминированного конечного автомата с предикатами.
2.2.2. Свойства модели
ГЛАВА 3. МЕТОДИКА ПОДГОТОВКИ ТЕСТОВ ДЛЯ ПРОТОКОЛОВ ИНФОРМАЦИОННОГО ОБМЕНА
3.1.Разработка алгоритма генерации тестов для математической модели процессов информационного обмена
3.1.1. Оценка количества вхождения сигналов надежный сброс в тестовых последовательностях.
3.1.2. Алгоритм нахождения уникальной последовательности для недетерминированного автомата.
3.1.3. Оценка покрытия метода уникальной последовательности для протокола без сигнала надежный сброс.
3.2.Формализация входной области тестовой последовательности.
3.2.1. Процедура нахождения уникальной последовательности для НКА с предикатами
3.3. Разработка алгоритма построения тестового комплекта на основе метода уникальной последовательности.
3.3.1. Алгоритм построения тестового комплекта.
3.3.2. Оптимизация процедуры поиска покрытия перехода
ГЛАВА 4. МЕТОДИКА АТТЕСТАЦИОННЫХ ИСПЫТАНИЙ СРЕДСТВ ИНФОРМАЦИОННОГО ОБМЕНА.
4.1. Способы и приемы аттестационных испытаний, и общие подходы к генерации аттестационных тестов
4.2. Пример разработки тестового комплекта для протокола ТСР.
4.2.1. Характеристики протокола ТСР
4.2.2. Обсуждение полученных результатов.
Заключение
ПРИЛОЖЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
Введение.
Актуальность