Введение
1. Введение 4
Формальные методы и тестирование программного обеспечения 4
Технология UniTesK 5
Системы с асинхронным интерфейсом 6
Постановка задачи 7
2. Архитектура UniTesK для систем с синхронным интерфейсом 8
Основные понятия 8
Модель требований и модель поведения 8
Оценка корректности поведения целевой системы 8
Формализация задачи 8
Модель поведения 9
Модель требований 10
Программные контракты 10
Описание модели требований 11
Описание модели поведения 12
Моделирование требований и поведения 13
Модели требований и поведения в унифицированной архитектуре теста 16
Тестовые сценарии 19
Генерация тестовых данных 19
Управляющие автоматы 20
Тестовый сценарий 21
Автоматный механизм построения тестового сценария 23
Сценарные функции 26
Граф автоматного тестового сценария 28
Механизм построения тестового сценария dfsm 28
Тестовый сценарий в унифицированной архитектуре теста 29
Модель оценки качества тестирования 31
Качество тестирования 31
Модель оценки качества тестирования 31
Описание метрик покрытия 32
Метрики покрытия в унифицированной архитектуре теста 33
Управляемые метрики покрытия и оптимизация тестового набора 33
Унифицированная архитектура теста 34
Системы с асинхронным интерфейсом 35
3. Тестирование систем с асинхронным интерфейсом 37
Модель требований и модель поведения 37
Модель поведения 37
Модель требований 38
Описание асинхронной модели требований 39
Описание асинхронных взаимодействий в модели поведения 41
Модель каналов 42
Модель временных меток 43
Описание асинхронной модели поведения 44
Алгоритм проверки корректности поведения 45
Требования к полноте набора асинхронных реакций 54
Модели требований и поведения в унифицированной архитектуре асинхронного теста 55
Асинхронные тестовые сценарии 60
Генерация тестовых данных для асинхронных систем 60
Взаимодействующие автоматы 61
Асинхронные функции 63
Асинхронные тесты 64
Автоматный механизм построения асинхронного тестового сценария 65
Асинхронные сценарные функции 66
Стационарное тестирование асинхронных систем 67
Стационарный автоматный тестовый сценарий 70
Асинхронный тестовый сценарий dfsm 76
Алгоритм обхода ndfsm 76
Параллельные воздействия на целевую систему 80
Тестирование с открытым стационарным состоянием 81
Нарушение предусловий асинхронных воздействий 82
Тестовый сценарий в унифицированной архитектуре асинхронного теста 83
Оценка качества тестирования систем с асинхронным интерфейсом 84
Качество тестирования систем с асинхронным интерфейсом 84
Метрики покрытия асинхронной модели требований 84
Описание асинхронных метрик покрытия 85
Оценка качества тестирования в унифицированной архитектуре асинхронного теста 86
Унифицированная архитектура асинхронного теста 87
Результаты главы 89
4. Программная реализация средств тестирования систем с асинхронными интерфейсами ...90
Процесс тестирования в технологии UniTesK 90
Проекция технологии UniTesK на язык программирования С 91
Тестирование систем с асинхронным интерфейсом на платформе языка С 94
5. Апробация метода и инструментов 99
Реализация протокола IPv6 99
Функциональность протокола Mobile IPv6 99
Протокол MPEG-2 IPMP 100
Компоненты распределенной операционной системы для сенсорных сетей 100
Ядро операционной системы реального времени 101
Прикладные бинарные интерфейсы ОС Linux 103
Апробация учебных материалов 104
Результаты апробации 104
Заключение 106
Литература
