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