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


         

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

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

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

Модель требований
Программные контракты
Описание модели требований
Описание модели требований - 2
Описание модели требований - 3
Описание модели поведения
Моделирование требований и поведения
Моделирование требований и поведения - 2
Моделирование требований и поведения - 3
Моделирование требований и поведения - 4

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

Автоматный механизм построения тестового сценария - 2
Автоматный механизм построения тестового сценария - 3
Автоматный механизм построения тестового сценария - 4
Автоматный механизм построения тестового сценария - 5
Сценарные функции
Сценарные функции - 2
Сценарные функции - 3
Граф автоматного тестового сценария
Механизм построения тестового сценария dfsm
Тестовый сценарий в унифицированной архитектуре теста

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

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

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

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

Сценарные функции - 3
Граф автоматного тестового сценария
Механизм построения тестового сценария dfsm
Тестовый сценарий в унифицированной архитектуре теста
Тестовый сценарий в унифицированной архитектуре теста - 2
СПЕЦИФИКАЦИЯ И ТЕСТИРОВАНИЕ СИСТЕМ С АСИНХРОННЫМ ИНТЕРФЕЙСОМ
Оценка качества тестирования
Метрики покрытия модели требований
Описание метрик покрытия
Описание метрик покрытия - 2

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

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

Алгоритм проверки корректности поведения - 2
Алгоритм проверки корректности поведения - 3
Алгоритм проверки корректности поведения - 4
Алгоритм проверки корректности поведения - 5
Алгоритм проверки корректности поведения - 6
Алгоритм проверки корректности поведения - 7
Алгоритм проверки корректности поведения - 8
Алгоритм проверки корректности поведения - 9
Алгоритм проверки корректности поведения - 10
Требования к полноте набора асинхронных реакций

Требования к полноте набора асинхронных реакций - 2
Требования к полноте набора асинхронных реакций - 3
Модели требований и поведения в унифицированной архитектуре асинхронного теста
Модели требований и поведения в унифицированной архитектуре асинхронного теста - 2
Модели требований и поведения в унифицированной архитектуре асинхронного теста - 3
Модели требований и поведения в унифицированной архитектуре асинхронного теста - 4
Модели требований и поведения в унифицированной архитектуре асинхронного теста - 5
Модели требований и поведения в унифицированной архитектуре асинхронного теста - 6
СПЕЦИФИКАЦИЯ И ТЕСТИРОВАНИЕ СИСТЕМ С АСИНХРОННЫМ ИНТЕРФЕЙСОМ
Генерация тестовых данных для асинхронных систем

Взаимодействующие автоматы
Взаимодействующие автоматы - 2
Взаимодействующие автоматы - 3
Взаимодействующие автоматы - 4
Асинхронные функции
Асинхронные функции - 2
Асинхронные тесты
Асинхронные тесты - 2
Автоматный механизм построения асинхронного тестового сценария
Автоматный механизм построения асинхронного тестового сценария - 2

Асинхронные сценарные функции
Стационарное тестирование асинхронных систем
Стационарное тестирование асинхронных систем - 2
Стационарное тестирование асинхронных систем - 3
Стационарное тестирование асинхронных систем - 4
Стационарное тестирование асинхронных систем - 5
Стационарный автоматный тестовый сценарий
Стационарный автоматный тестовый сценарий - 2
Стационарный автоматный тестовый сценарий - 3
Стационарный автоматный тестовый сценарий - 4

Стационарный автоматный тестовый сценарий - 5
Стационарный автоматный тестовый сценарий - 6
Стационарный автоматный тестовый сценарий - 7
Стационарный автоматный тестовый сценарий - 8
Стационарный автоматный тестовый сценарий - 9
Стационарный автоматный тестовый сценарий - 10
Асинхронный тестовый сценарий dfsm
Содержание