Занятие 1 Назначение CTesK. Архитектура теста в CTesK Тестирование Целевая система воздействия результаты Тестовая система Результаты тестирования Процесс разработки тестов • Извлечение требований - что тестировать • Проектирование - как тестировать • Реализация - реализация теста в коде • Отладка и тестирование - отладка теста Архитектура теста Генератор тестовой последовательности Оракул Оракул Оракул Оракул Оракул Медиатор Целевая система Структура генератора тестовой последовательности Генератор тестовой последовательности Итератор тестовых воздействий Обходчик Оракул Оракул Оракул Целевая система в примере разработки теста • //регистрация функции наблюдателя typedef void (*queue_observer_t) (void); void queue_register (queue_observer_t obsvr); queue_put() observers’ calls queue_get() observers’ calls • int queue_put (int) //возвращает 0, если очередь полна • int queue_get (int*) //NULL-указатель, если очередь пуста Архитектура теста Генератор тестовой последовательности queue_spec.c Оракул Оракул Оракул queue_spec.sec Медиатор Медиатор Медиатор queue_media.c Целевая система queue.h queue.c queue_media.sec Сборщики реакций Тестовая система воздействия Медиаторы реакции queue_media.c queue_media.sec Сборщики реакций Целевая система отложенные реакции Структура генератора тестовой последовательности Генератор тестовой последовательности queue_scen.c Итератор тестовых воздействий Обходчик queue_scen.sec Оракул Оракул Оракул Функция main теста. Компиляция, сборка, запуск queue.c queue_spec.sec queue_spec.c queue_media.sec queue_media.c queue_scen.sec queue_scen.c queue_main.sec queue_main.c Тестовые отчеты Генерация отчетов Сборка и запуск теста Трасса выполнения теста Структура курса Обзор CTesK Спецификации Медиаторы Данные и инварианты Спецификации функций Предусловие Критерии покрытия Постусловие Преобразование в реализацию Преобразование в модель Постусловие Сценарные функции Инициализация и завершение Функция main теста Сборщики реакций Состояние теста Спецификации реакций Предусловие Тестовые сценарии Вычисление модельного состояния Функции работы с модельным состоянием Сборка и отладка теста, генерация тестовых отчетов Требования и тестирование Требования удовлетворяет Целевая система воздействия результаты строится из подтверждают выполнение Тестовая система Результаты тестирования Шаги разработки теста в CTesK • Разработка спецификаций целевой системы • Разработка медиаторов • Разработка тестовых сценариев • Сборка и выполнение теста • Анализ результатов Требования Спецификации Шаги разработки теста в CTesK • Разработка спецификаций целевой системы • Разработка медиаторов • Разработка тестовых сценариев • Сборка и выполнение теста • Анализ результатов Спецификации Интерфейс реализации Медиаторы Шаги разработки теста в CTesK • Разработка спецификаций целевой системы • Разработка медиаторов • Разработка тестовых сценариев • Сборка и выполнение теста • Анализ результатов Спецификации Критерии покрытия Тестовые сценарии Шаги разработки теста в CTesK Тестовые сценарии • Разработка спецификаций целевой системы • Разработка медиаторов • Разработка тестовых сценариев Спецификации Генерация Тест • • Медиаторы Реализация Сборка и выполнение теста Анализ результатов Выполнение теста и генерация отчетов Тестовые отчеты Шаги разработки теста в CTesK • Разработка спецификаций целевой системы • Разработка медиаторов • Разработка тестовых сценариев • Сборка и выполнение теста • Анализ результатов Тестовые отчеты Ошибки Оценка качества тестов Генератор тестовой последовательности Тестовый сценарий Спецификации Медиаторы на SE C Итератор тестовых воздействий Обходчик Оракул Оракул Оракул Медиатор Медиатор Медиатор Целевая система Компоненты, создаваемые вручную Генерируемые компоненты Библиотечные компоненты Генерация Связи по вызовам