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


       фанера первый сорт цена за лист. |   

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

Алгоритм обхода 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
Содержание






Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий