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

• Автор: Георгиевский, Александр Евгеньевич
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 2008
• Место защиты: Орел
• Количество страниц: 184 с. : ил.

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ

ГЛАВА 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. Акт научнотехнической комиссии ЗАО ГудвинЕвропа о реализации положений и выводов кандидатской диссертации
ВВЕДЕНИЕ
Актуальность


Для опытных специалистов переход на новую технологию НИОКР и новые комплексы автоматизации тестирования не требует особых усилий и успешно проходит в короткие сроки. Аппаратурная оснащенность разработки конкретного СИО определяется необходимыми ресурсами и характеристиками. Его тип, архитектура и система команд определяют возможность размещения на конкретной технологической базе. При этом тестирование и приемочные испытания проводятся на испытательных стендах, основу которых составляет профаммная реализация СИО, полученная на этапе НИОКР. Виды тестирования СИО, применяемые для каждого типа объектов, показаны на рисунке 1. Реально же данный порядок не всегда соблюдается, имеют место возвраты на отладку ранее проверенных объектов по объективным причинам уточнения технического задания (ТЗ) или при обнаружении логических ошибок. Рис. Тестирование спецификаций требований. СИО и правильное функциональное взаимодействие его компонентов. Кроме того, они формализуют структуру СИО и его связи с внешней средой. Цель тестирования спецификаций состоит в проверке полноты и взаимного соответствия функций, предписываемым программным и информационным компонентам разных иерархических уровней. Задачи тестирования включают также проверку соответствия описаний информаций на входах и выходах взаимодействующих программных модулей и групп программ. В результате тестирования спецификаций должна быть обеспечена их корректность и согласованность в пределах обобщенного описания функций всего СИО и всех его составных частей. Так как процесс тестирования пока слабо формализован и автоматизирован, то большое значение для его качества имеют опыт и квалификация специалистов. Тестирование полноты и. СИО (протоколов) на уровне спецификаций предназначено для выявления ошибок их описания. Целесообразно проводить тестирование по нисходящему методу, от спецификаций всего СИО или комплекса протоколов. Оно проводится вручную путем просмотра программных и информационных спецификаций по маршрутам исполнения примитивов при решении определенных функциональных задач. Корректировке подлежат программные спецификации модулей и протоколов или вводятся новые компоненты с дополнительными функциями []. Тестирование согласованности интерфейса в спецификациях применяется для обнаружения ошибок в описаниях переменных и передачах управления при взаимодействии модулей. По структурной схеме СИО устанавливается перечень последовательно вызываемых протокольных объектов и проверяется корректность описаний вызовов в соответствующих спецификациях. Тестирование концептуального единства и согласованности всей совокупности спецификаций требований на СИО завершает проверку функций и взаимодействия компонентов. Устанавливается соответствие функций уточненных спецификаций на протоколы и па СИО в целом исходному ТЗ на проектирование. При этом проверяется обеспечение корректного интерфейса в спецификациях с внешней средой и с пользователями и возможность реализовать все предписанные функции. Здесь же выявляются стройность и гибкость структурного построения СИО, перспективность его модификации и развития в базовые версии специального назначения []. Тестирование протокольных объектов и их взаимодейс'гвии - это наиболее разработанный, формализованный и автоматизированный процесс. Основная задача - проверка корректности обработки программными модулями поступающей информации и получающихся на выходе данных. Проверяется корректность структуры модулей и конструктивных компонентов: циклов, блоков, переключателей. Относительная простота компонентов и их взаимодействия позволяет провести полное тестирование и контроль качества СИО. Эффективно статическое или ручное тестирование; для некоторых типов модулей целесообразно стохастическое тестирование. Высокая« автоматизация и упорядочение процесса обеспечивают гарантии качества программных модулей и многократное применение версиях СИО. Тестирование структуры. Проверке подлежат маршруты обработки информации в каждом модуле и правильность их реализации в зависимости от исходных данных.