Моделирование процессов взаимодействия протокольных объектов в средствах информационного обмена

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. АНАЛИЗ ПРОЦЕССОВ ТЕСТИРОВАНИЯ СРЕДСТВ ИНФОРМАЦИОННОГО ОБМЕНА.
1.1. Объекты и виды тестирования средств информационного обмена.
1.2. Характеристики логических ошибок в средствах информационного обмена.
1.3. Постановка задачи.
Выводы.
ГЛАВА 2. РАЗРАБОТКА МАТЕМАТИЧЕСКОЙ МОДЕЛИ ВЗАИМОДЕЙСТВИЯ ПРОТОКОЛЬНЫХ ОБЪЕКТОВ НА ОСНОВЕ АППАРАТА СЕТЕЙ ПЕТРИ.
2.1. Разработка принципов обслуживания на сессионном и представительском уровнях средств информационного обмена.
2.2. Разработка принципов взаимодействия процессов информационного обмена сетевых объектов
2.3. Спецификация протокольных объектов
2.4. Анализ логической корректности и верификация средств информационного обмена.
Выводы.
ГЛАВА 3. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ МЕЖУРОВНЕВОГО ВЗАИМОДЕЙСТВИЯ ПРОТОКОЛЬНЫХ ОБЪЕКТОВ.
3.1. Разработка интерфейса транспортного уровня
3.2. Моделирование сервиса в протоколах информационного обмена .
3.3. Операции над объектами
3.4. Формализация задачи анализа достижимых состояний средств информационного обмена и повышения производительности сетей передачи данных
ГЛАВА 4. МЕТОДИКА ТЕСТИРОВАНИЯ ВЗАИМОДЕЙСТВИЯ ПРОТОКОЛЬНЫХ ОБЪЕКТОВ В СРЕДСТВАХ ИНФОРМАЦИОННОГО ОБМЕНА
4.1. Методика тестирования
4.2. Оценка гарантированности на основе данных тестирования средств информационного обмена.
4.3. Применение инвариантов сетей Петри для анализа пространства состояний модели средства информационного обмена.
4.4. Декомпозиция модели средства информационного обмена, представленной сетью Петри, на минимальные функциональные подсети
4.5. Вычисление базисных решений инвариантов
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
Приложение 1. Свидетельство об официальной регистрации программы
для ЭВМ
Приложение 2. Экранная форма программного средства анализа достижимых
состояний протокола ТСР
Приложение 3. Акт научнотехнической комиссии НГЦ Атлас ФСБ России
о реализации положений и выводов кандидатской диссертации
Приложение 4. Акт научнотехнической комиссии ФГУ НИИ Энергия о
реализации положений и выводов кандидатской диссертации
Приложение 5. Акт научнотехнической комиссии ЗАО ГудвинЕвропа о реализации положений и выводов кандидатской диссертации
ВВЕДЕНИЕ
Актуальность