Назначение CTesK. Архитектура теста в CTesK. Тестовая система Тестовая система Тестирование Целевая система Результаты тестирования результаты воздействия. - презентация

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

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

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

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

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

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

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

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

9 Функция 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 Сборка и запуск теста Трасса выполнения теста Генерация отчетов Тестовые отчеты

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

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

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

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

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

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

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

17

18

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