Спецификация и тестирование систем с асинхронным интерфейсом
Алгоритм обхода ndfsm
Параллельные воздействия на целевую систему
Параллельные воздействия на целевую систему - 2
Тестирование с открытым стационарным состоянием
Нарушение предусловий асинхронных воздействий
Метрики покрытия асинхронной модели требований
Описание асинхронных метрик покрытия
Оценка качества тестирования в унифицированной архитектуре асинхронного теста
Унифицированная архитектура асинхронного теста
Результаты главы
Инструментальная поддержка тестирования систем с асинхронными интерфейсами
Процесс тестирования в технологии UniTesK
Проекция технологии UniTesK на язык программирования C
Тестирование систем с асинхронным интерфейсом на платформе языка C
Опыт применения технологии UniTesK для тестирования систем с асинхронным интерфейсом
Реализация протокола IPv6
Функциональность протокола Mobile IPv6
Протокол MPEG-2 IPMP
Компоненты распределенной операционной системы для сенсорных сетей
Ядро операционной системы реального времени
Прикладные бинарные интерфейсы ОС Linux
Результаты апробации
Заключение
Литература
Содержание раздела