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

Спецификация и тестирование систем с асинхронным интерфейсом
Формальные методы и тестирование программного обеспечения
Технология UniTesK
Системы с асинхронным интерфейсом
Архитектура UniTesK для систем с синхронным интерфейсом

Основные понятия
Оценка корректности поведения тестируемой системы
Формализация задачи
Модель поведения
Модель требований
Программные контракты
Описание модели требований
Описание модели поведения

Моделирование требований и поведения
Модели требований и поведения в унифицированной архитектуре теста
Генерация тестовых данных
Управляющие автоматы

Тестовый сценарий
Автоматный механизм построения тестового сценария
Сценарные функции

Граф автоматного тестового сценария
Механизм построения тестового сценария dfsm
Тестовый сценарий в унифицированной архитектуре теста


Оценка качества тестирования
Метрики покрытия модели требований
Описание метрик покрытия
Метрики покрытия в унифицированной архитектуре теста
Управляемые метрики покрытия и оптимизация тестового набора
Унифицированная архитектура теста
Тестирование систем с асинхронным интерфейсом

Описание асинхронной модели требований
Описание асинхронных взаимодействий в модели поведения
Модель каналов

Модель временных меток
Описание асинхронной модели поведения
Алгоритм проверки корректности поведения
Требования к полноте набора асинхронных реакций
Генерация тестовых данных для асинхронных систем
Взаимодействующие автоматы
Асинхронные функции

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

Асинхронный тестовый сценарий dfsm
Алгоритм обхода ndfsm
Параллельные воздействия на целевую систему
Параллельные воздействия на целевую систему - 2

Тестирование с открытым стационарным состоянием
Нарушение предусловий асинхронных воздействий
Метрики покрытия асинхронной модели требований
Описание асинхронных метрик покрытия
Оценка качества тестирования в унифицированной архитектуре асинхронного теста

Унифицированная архитектура асинхронного теста
Результаты главы
Инструментальная поддержка тестирования систем с асинхронными интерфейсами
Процесс тестирования в технологии UniTesK
Проекция технологии UniTesK на язык программирования C

Тестирование систем с асинхронным интерфейсом на платформе языка C
Опыт применения технологии UniTesK для тестирования систем с асинхронным интерфейсом
Реализация протокола IPv6

Функциональность протокола Mobile IPv6
Протокол MPEG-2 IPMP
Компоненты распределенной операционной системы для сенсорных сетей
Ядро операционной системы реального времени
Прикладные бинарные интерфейсы ОС Linux
Результаты апробации
Заключение

Литература

Веб Дизайн - статьи

Непременное условие успеха технологии Web лежит в ее способности связывать ресурсы. То, что "Всемирная паутина" опирается на признанный гоферовский протокол, может быть объяснено хотя бы тем, что HTML позволяет вставлять в документы ссылки гипертекста. С их помощью можно помещать изображения на страницы документов, а также переходить от одного документа к другому или же от одной его части к другой. С учетом того, что XML может быть преобразован в HTML для последующего просмотра, синтаксис, который, используется в HTML для задания связей, может быть перенесен и в XML.


Что такое XLink?
Веб-хостинг: кто, где, когда и почему
Оптимизация соединения с Интернет
Что такое ping и для чего он нужен?
Учимся регулярно выражаться

Библиотека Watir
Подключение к веб-сервису
Дистрибутивы и ссылки
Создание галереи с помощью php
Относящиеся к XML стандарты и рекомендации


Содержание раздела

---