Тестирование софта - статьи


         

Тестирование софта - статьи



Введение
Введение в IPv
Функции IPv выбранные для тестирования
Отправка и получение пакетов.
ICMPv6
Neighbor Discovery
MSR IPv6
Разбиение MSR IPvна подсистемы
Особенности тестирования MSR IPv6
Введение в UniTesK

Оракулы и спецификации
Тестовые сценарии
Медиаторы
Применение UniTesK к тестированию систем с отложенными реакциями
Применение UniTesK к тестированию систем с отложенными реакциями - 2
Использование UniTesK для тестирования MSR IPv6
Спецификации
Абстрактное состояние
Спецификация процедурных стимулов
Спецификация непроцедурных стимулов

Спецификации реакций
Спецификация фрагментации
Спецификация Neighbor Discovery
Транспорт стимулов и реакций
Медиаторы для процедурных стимулов
Медиаторы для непроцедурных стимулов
Сбор реакций целевой системы
Тестовые сценарии
Процесс разработки тестового набора
Результаты

Выявленные дефекты
Оценка покрытия кода целевой системы
Заключение
Литература
Содержание