Тестирование на основе модели
-
Основы тестирования на основе моделей
- Тестирование на основе моделей использует проектирование на основе моделей для создания и выполнения тестов.
- Модели могут описывать поведение тестируемой системы или стратегии тестирования.
-
Абстрактные и исполняемые наборы тестов
- Абстрактные наборы тестов основаны на модели и не могут быть выполнены напрямую.
- Исполняемые наборы тестов создаются из абстрактных, взаимодействуя с системой.
-
Методы получения тестов
- Тесты могут быть получены на основе моделей с использованием различных подходов, включая эвристику и формальные методы.
- Требования к тестированию и критерии остановки тестирования могут быть объединены в единый пакет.
-
Развертывание тестирования
- Тестирование может быть выполнено онлайн, с помощью автономных генераторов исполняемых тестов или вручную.
-
Эффективность и автоматизация
- Эффективность тестирования на основе моделей зависит от возможности автоматизации.
- Механическое получение тестов возможно из конечных автоматов и неопределенных переходов.
-
Доказательство теорем и программирование логики ограничений
- Доказательство теорем используется для автоматизированного доказательства логических формул.
- Программирование с ограничениями позволяет выбирать тестовые примеры, удовлетворяющие ограничениям.
-
Проверка модели и генерация тестовых примеров с использованием цепей Маркова
- Проверка моделей используется для проверки допустимости свойств спецификации в модели.
- Цепи Маркова применяются для статического получения тестовых примеров, повышающих надежность системы.
-
Рекомендации и дальнейшее чтение
- В статье приведены ссылки на дополнительные ресурсы и литературу по тестированию на основе моделей.