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

Введение
Введение в IPv

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


Оракулы и спецификации
Тестовые сценарии

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

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

Заключение
Литература
Содержание раздела

---