М.: Институт Системного Программирования РАН, 2006. – 70 с.
(Коллектив авторов).Отчет о научно-исследовательской работе по проекту РФФИ № 04-07-90308 (Итоговый научный отчет).Содержание:
Метод верификации.
Обзор предлагаемого метода.
Введение в контрактные спецификации.
Тестирование соответствия контрактным спецификациям.
Архитектура тестового набора.
Верификация функций безопасности.
Обзор регламентирующих документов IPsec.
Исследование реализаций IPsec.
Каталог функциональных требований к реализациям IPsec.
Структура формальной спецификации.
Устройство тестового стенда.
Инструментальные средства.
Верификация функций мобильности.
Краткий обзор MIPv6.
Предварительное исследование реализации Mobile IPv6.
Схема тестового набора и ход выполнения тестового сценария.
Каталог функциональных требований к реализациям Mobile IPv6.
Структура формальной спецификации.
Концептуальная модель операций Mobile IPv6.
Спецификации поведения мобильного узла.
Тестовый набор.
Результаты тестирования реализации Mobile IPv6.
