Процесс выполнения тестов

реклама
Занятие 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
Итератор
тестовых
воздействий
Обходчик
Оракул
Оракул
Оракул
Медиатор
Медиатор
Медиатор
Целевая система
Компоненты, создаваемые вручную
Генерируемые компоненты
Библиотечные компоненты
Генерация
Связи по вызовам
Скачать