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


Содержание


Спецификация и тестирование систем с асинхронным интерфейсом
Формальные методы и тестирование программного обеспечения
Формальные методы и тестирование программного обеспечения - часть 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



Начало    



Книжный магазин