Исследование и разработка метода аттестационного тестирования протоколов передачи данных

• Автор: Фунтиков, Василий Борисович
• Шифр специальности: 05.13.13
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Москва
• Количество страниц: 190 с. : ил.

СОДЕРЖАНИЕ
стр. АНАЛИЗ СУЩЕСТВУЮЩИХ ПОДХОДОВ К АТТЕСТАЦИОННОМУ ТЕСТИРОВАНИЮ ПРОТОКОЛОВ ПЕРЕДАЧИ ДАННЫХ. Объект, задачи и проблемы аттестационного тестирования. Общая схема аттестационного тестирования. Использование модели расширенного автомата. Выводы. РАЗРАБОТКА МОДЕЛИ ЛИНЕЙНОЙ СИСТЕМЫ РАСШИРЕННОГО ПЕРЕХОДА. Анализ процедуры генерации тестов на основе модели расширенного автомата. Основные определения. СОДЕРЖАНИЕ продолжение
2. Выводы. РАЗРАБОТКА АЛГОРИТМОВ ГЕНЕРАЦИИ ТЕСТОВ. Расширение метода уникальных последовательностей. Построение тестового комплекта. Процедура построения тестового комплекта. Оптимизация алгоритма поиска покрытия перехода. Разработка процедуры преобразования описания процесса . Выводы. РАЗРАБОТКА И АПРОБАЦИЯ ПРОГРАММНОГО СРЕДСТВА АВТОМАТИЗИЮВА1IIЮЙ ГЕЕРАЦИИ ГЕСТОВ. Характеристики протокола . Разработка описания на языке . Выводы. Основные характеристики протоколов уровня звена данных, сетевого и транспортного уровней являются динамическими, а их поведение, как правило, реактивным.


АНАЛИЗ СУЩЕСТВУЮЩИХ ПОДХОДОВ К АТТЕСТАЦИОННОМУ ТЕСТИРОВАНИЮ ПРОТОКОЛОВ ПЕРЕДАЧИ ДАННЫХ. Объект, задачи и проблемы аттестационного тестирования. Общая схема аттестационного тестирования. Использование модели расширенного автомата. Выводы. РАЗРАБОТКА МОДЕЛИ ЛИНЕЙНОЙ СИСТЕМЫ РАСШИРЕННОГО ПЕРЕХОДА. Анализ процедуры генерации тестов на основе модели расширенного автомата. Основные определения. СОДЕРЖАНИЕ продолжение
2. Выводы. РАЗРАБОТКА АЛГОРИТМОВ ГЕНЕРАЦИИ ТЕСТОВ. Расширение метода уникальных последовательностей. Построение тестового комплекта. Процедура построения тестового комплекта. Оптимизация алгоритма поиска покрытия перехода. Разработка процедуры преобразования описания процесса . Выводы. РАЗРАБОТКА И АПРОБАЦИЯ ПРОГРАММНОГО СРЕДСТВА АВТОМАТИЗИЮВА1IIЮЙ ГЕЕРАЦИИ ГЕСТОВ. Характеристики протокола . Разработка описания на языке . Выводы. Основные характеристики протоколов уровня звена данных, сетевого и транспортного уровней являются динамическими, а их поведение, как правило, реактивным. Описанные динамические характеристики протоколов пакетной передачи но своим свойствам существенно отличаются от статических характеристик, преобладающих в протоколах физических уровней. Несмотря на распространенность устройств пакетной передачи данных в настоящее время, как показано ниже, не существует эффективных методов тестирования протоколов пакетной передачи, применимых к широкому кругу протоколов. При аттестационном тестировании проводится сравнение двух объектов тестируемого устройства и стандарта на протокол передачи данных, реализованный в данном устройстве. ПБД. Рис.