Спецификация и тестирование систем с асинхронным интерфейсом


Содержание


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



Начало