Назначение CTesK. Архитектура теста в CTesK

Тестовая система Тестовая система Тестирование Целевая система Результаты тестирования результаты воздействия

Процесс разработки тестов Извлечение требований Проектирование Реализация Отладка и тестирование

Оракул Медиатор Архитектура теста Целевая система Генератор тестовой последовательности Оракул

Структура генератора тестовой последовательности Генератор тестовой последовательности Обходчик Оракул Итератор тестовых воздействий

Целевая система в примере разработки теста (тест для стека) void push(void*) //argument is not null void* pop() //returns null for empty queue int isEmpty() int size() //

Медиатор Архитектура теста (на примере) Целевая система Генератор тестовой последовательности Оракул stack.h stack.c stack_spec.c stack_media.c stack_spec.sec Генерация из SeC stack_media.sec Генерация из SeC stack_scen.c

Структура генератора тестовой последовательности (на примере) Генератор тестовой последовательности Обходчик Оракул Итератор тестовых воздействий stack_scen.sec Генерация из SeC stack_scen.c

Функция main теста. Компиляция, сборка, запуск stack.c stack_spec.c stack_media.c stack_scen.c stack_spec.sec stack_media.sec stack_scen.sec stack_main.secstack_main.c Генерация из SeC Сборка и запуск теста Трасса выполнения теста Генерация отчетов Тестовые отчеты

Структура курса Медиаторы Вычисление модельного состояния Преобразование в модель Преобразование в реализацию Обзор CTesK Спецификации Данные и инварианты Спецификации функций Предусловие Постусловие Критерии покрытия Тестовые сценарии Инициализация и завершение Состояние теста Сценарные функции Функция main теста Сборка и отладка теста, генерация тестовых отчетов

Требования и тестирование Целевая система Тестовая система Результаты тестирования результаты воздействия строится из удовлетворяет подтверждают выполнение Требования

Шаги разработки теста в CTesK Разработка спецификаций целевой системы Разработка медиаторов Разработка тестового сценария Сборка и выполнение теста Анализ результатов Требования Спецификации

Шаги разработки теста в CTesK Разработка спецификаций целевой системы Разработка медиаторов Разработка тестового сценария Сборка и выполнение теста Анализ результатов Спецификации Интерфейс реализации Медиаторы

Шаги разработки теста в CTesK Разработка спецификаций целевой системы Разработка медиаторов Разработка тестового сценария Сборка и выполнение теста Анализ результатов Спецификации Тестовые сценарии Критерии покрытия

Шаги разработки теста в CTesK Разработка спецификаций целевой системы Разработка медиаторов Разработка тестового сценария Сборка и выполнение теста Анализ результатов Спецификации Тестовые сценарии Медиаторы РеализацияТест Генерация Выполнение теста и генерация отчетов Тестовые отчеты

Шаги разработки теста в CTesK Разработка спецификаций целевой системы Разработка медиаторов Разработка тестового сценария Сборка и выполнение теста Анализ результатов Тестовые отчеты Оценка качества тестов Ошибки

Полная архитектура Генератор тестовой последовательности Спецификации Итератор тестовых воздействий Тестовый сценарий Медиаторы на SE C Целевая система Обходчик Оракул Медиатор Компоненты, создаваемые вручную Библиотечные компоненты Генерируемые компоненты Генерация Связи по вызовам