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