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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

Литература

Unigraphics. Справочник по сборке

Опция Accuracy [Точность] задает точность вычислений. Первоначальное значение точности определяется системной переменной пользовательских умолчаний Assemblies_WeightDataAccuracy (по умолчанию - 0.99). Задавая большее значение точности, Вы снизите погрешность, но при этом увеличится время расчетов. И наоборот, меньшее значение точности ускоряет процесс вычислений. Доступны следующие значения: 0.9, 0.99, 0.999, 0.9999, 0.99999 и 0.999999.

Секция Accuracy - Точность вычислений
Фоновое меню
Каскадное меню последовательности сборки
Атрибуты подстановки
Добавление существующего компонента
Find Component - Найти компонент
Установки добавления компонента
Диалоговые окна
Опция Auto-explode Components - Автоматически разнести Компоненты
Диалоговое окно Explode Component
Страница Assembly - Сборка
Опция Edit Attributes - Редактировать атрибуты ссылочного набора
Настройки
Примеры использования ugtopv
Пример запуска программы удаления скрытых линий
Определение структуры сборки
Панель инструментов Assemblies - Сборки
Опция Edit Frozen Status - Редактирование статуса замораживания
Обзор Панелей Инструментов
Цвета и слои
Анализ и формирование отчетов
Опция List - Просмотр спецификации


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

---

---