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


Глава


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



- Начало -    



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