Содержание
Введение.
Глава 1. Анализ современного состояния методов формализации в тестировании телекоммуникационных протоколов
1.1 Краткий обзор истории формализации спецификаций и тестов для
телекоммуникационных протоколов.
1.2 Методы формальной спецификации тестов
1.3 Методы формального описания протоколов и автоматической
генерации тестовых последовательностей
1.4 Введение в протоколы Интернета.
1.5 Постановка задачи
Глава 2. Метод формализации стандартов протоколов Интернета.
2.1 Введение в контрактные спецификации
2.2 Описание разработанного метода формализации стандартов
протоколов Интернета
2.3 Анализ спецификации протокола и извлечение требований
2.4 Разработка и анализ концептуальной модели требований.
2.5 Определение формального интерфейса протокола.
2.6 Разработка пред и постусловий для формального интерфейса
протокола Интернета.
2.7 Разработка критериев покрытия
2.8 Разработка функций реконструкции состояния.
Выводы по главе 2.
Глава 3. Метод формального задания тестов для тестирования соответствия контрактным спецификациям протоколов Интернета.
3.1 Тестирование соответствия контрактным спецификациям
3.2 Обзор разработанного метода формального задания тестов.
3.3 Определение целей тестирования
3.4 Разработка проекта тестового сценария.
3.5 Разработка итераторов тестовых воздействий и конструкторов
конкретных тестовых воздействий
3.6 Разработка функции определения текущего состояния сценария
3.7 Разработка настроек тестового сценария
3.8 Прогон тестового сценария и анализ результатов тестирования.
Выводы по главе 3
Глава 4. Практические применения.
4.1 Проекты по тестированию Iv6 в ИСП РАН
4.2 Тестирование Iv6.
4.3 Сравнение с другими тестовыми наборами для Iv6.
4.4 Применение разработанных методов к другим видам систем
Выводы по главе 4
Заключение.
Список литературы
- Київ+380960830922