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

• Автор: Пакулин, Николай Витальевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2006
• Место защиты: Москва
• Количество страниц: 257 с. : ил.

Содержание
Введение.
Глава 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
Заключение.
Список литературы


В параграфе 3. Далее в параграфе 3. Интернета группы функций: операции с множествами (добавление, удаление, проверка принадлежности), операции с кэшированием, обработка некорректных сообщений. В параграфе 3. В параграфах 3. Для часто встречающихся целей тестирования протоколов Интернета, выделенных в параграфе 3. Интернета. В параграфах 3. В главе 4 рассматривается опыт практического применения разработанных в диссертации методов. В параграфе 4. IPv6, который применялся при тестировании реализации IPv6 от Microsoft Research. Рассмотрены вопросы состава формального интерфейса, формализации различных функций протоколов, недетерминированного поведения. В параграфе 4. ИСП РАН с использованием представленных в диссертации методов, с известными тестовыми наборами IPv6- тестовым набором ТАН1[], старейшим и наиболее разработанным тестовым набором для IPv6, и тестовым набором для IPv6, развиваемом в ETSI[6], который разрабатывается средствами языка TTNC-3[], наиболее современной на настоящий момент реализацией подхода элементарных тестов. Результаты сравнения для двух тестовых наборов, разработанных автором в ИСП РАН: для реализации IPv6 от Microsoft Research (MSR IPv6) и расширенный тестовый набор для реализации IPv6 для Windows XP/Windows СЕ (MS Mobile IPv6) с тестовыми наборами TAHI и ETSI приведены в таблице 4. Кроме того, необходимо отметить, что с использованием тестового набора для MSR IPv6 в реализации были обнаружены 4 дефекта и 2 критические ошибки, приводящие к перезагрузке операционной системы, не выявленные при тестировании другими тестовыми наборами. MPEG-2 и встроенному программному обеспечению. Обсуждаются преимущества и недостатки применения разработанных методов в задачах валидации международных стандартов, построения эталонных тестовых наборов для тестирования соответствия международным стандартам, а также в задачах разработки, верификации и валидации встроенного программного обеспечения. Разработан новый метод формального задания тестов для проверки соответствия реализаций протоколов Интернета, отличающийся тем, что впервые тестирование соответствия стандартам Интернета производится как тестирование соответствия формальным спецификациям этих протоколов, заданным в виде контрактных спецификаций, и состоящий в том, что спецификация теста представляет собой неизбыточное задание конечного автомата, переходы которого генерируют тестовые воздействия, а корректность поведения реализации определяется автоматически с использованием оракулов, сгенерированных из постусловий контрактной спецификации. Разработанный метод позволяет проводить автоматизированное тестирование недетерминированных протоколов обменов сообщениями со сложными структурами сообщений и состояний с ограниченным сверху временем реакции на внешнее воздействие. Разработаны неизбыточные задания автоматов тестов для типичных задач тестирования, которые встречаются при тестировании протоколов Интернета. Для разработанных неизбыточных заданий автоматов тестирования сформулированы и доказаны теоремы корректности -порождаемые ими автоматы являются конечными с сильно связными графами переходов. С использованием представленных в диссертации методов разработан пакет прикладных программ - тестовый набор - для тестирования соответствия реализаций стека протоколов 1Ру6 набору базовых стандартов 1Ру6. Использование разработанных методов позволяет сократить объём тестового набора 2—5 раз по сравнению с созданием тестовых наборов из элементарных испытаний. Доля повторно используемых компонентов составляет % тестового набора, что в 1,5—5 раз превосходит аналогичный показатель тестовых наборов ТАН1 и ЕТ. Разработанные тестовые наборы демонстрируют большую «глубину» тестирования, чем тестовые наборы, составленные из элементарных испытаний, что подтверждается большим числом обнаруженных дефектов реализации и критических ошибок. Разработанные методы пригодны для формальной спецификации стандартов и разработки тестов проверки соответствия программных интерфейсов встроенных систем.