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


Глава


Введение
Введение в IPv
Функции IPv выбранные для тестирования
Отправка и получение пакетов.
ICMPv6
Neighbor Discovery
MSR IPv6
Разбиение MSR IPvна подсистемы
Особенности тестирования MSR IPv6
Введение в UniTesK
Оракулы и спецификации
Тестовые сценарии
Медиаторы
Применение UniTesK к тестированию систем с отложенными реакциями
Применение UniTesK к тестированию систем с отложенными реакциями - часть 2
Использование UniTesK для тестирования MSR IPv6
Спецификации
Абстрактное состояние
Спецификация процедурных стимулов
Спецификация непроцедурных стимулов
Спецификации реакций
Спецификация фрагментации
Спецификация Neighbor Discovery
Транспорт стимулов и реакций
Медиаторы для процедурных стимулов
Медиаторы для непроцедурных стимулов
Сбор реакций целевой системы
Тестовые сценарии
Процесс разработки тестового набора
Результаты
Выявленные дефекты
Оценка покрытия кода целевой системы
Заключение
Литература



Начало    



Книжный магазин