Введение
Глава 1. Анализ современного состояния методов формализации в тестировании телекоммуникационных протоколов 24
1.1 Краткий обзор истории формализации спецификаций и тестов для телекоммуникационных протоколов 24
1.2 Методы формальной спецификации тестов 27
1.3 Методы формального описания протоколов и автоматической генерации тестовых последовательностей 30
1.4 Введение в протоколы Интернета 33
1.5 Постановка задачи 37
Глава 2. Метод формализации стандартов протоколов Интернета 39
2.1 Введение в контрактные спецификации 39
2.2 Описание разработанного метода формализации стандартов протоколов Интернета 45
2.3 Анализ спецификации протокола и извлечение требований 52
2.4 Разработка и анализ концептуальной модели требований 61
2.5 Определение формального интерфейса протокола 73
2.6 Разработка пред- и постусловий для формального интерфейса протокола Интернета 79
2.7 Разработка критериев покрытия 87
2.8 Разработка функций реконструкции состояния 88
Выводы по главе 2 89
Глава 3. Метод формального задания тестов для тестирования соответствия контрактным спецификациям протоколов Интернета 91
3.1 Тестирование соответствия контрактным спецификациям 92
3.2 Обзор разработанного метода формального задания тестов 97
3.3 Определение целей тестирования 100
3.4 Разработка проекта тестового сценария 102
3.5 Разработка итераторов тестовых воздействий и конструкторов конкретных тестовых воздействий 104
3.6 Разработка функции определения текущего состояния сценария... 108
3.7 Разработка настроек тестового сценария 113
3.8 Прогон тестового сценария и анализ результатов тестирования 117
Выводы по главе 3 118
Глава 4. Практические применения 119
4.1 Проекты по тестированию IPv6 в ИСП РАН 119
4.2 Тестирование MSR IPv6 119
4.3 Сравнение с другими тестовыми наборами для IPv6 121
4.4 Применение разработанных методов к другим видам систем 126
Выводы по главе 4 127
Заключение 129
Список литературы
