Тестирование моделей
Тестирование моделей находится несколько в стороне от классических методов верификации программного обеспечения. Причина прежде всего в том, что объект тестирования – не сама система, а ее модель, спроектированная формальными средствами. Если оставить в стороне вопросы проверки корректности и применимости самой модели (считается, что ее корректность и соответствие исходной системе могут быть доказаны формальными средствами), то тестировщик получает в свое распоряжение достаточно мощный инструмент анализа общей целостности системы. На модели можно создать такие ситуации, которые невозможно создать в тестовой лаборатории для реальной системы. Работая с моделью программного кода системы, можно анализировать его свойства и такие параметры системы, как оптимальность алгоритмов или ее устойчивость.
Однако тестирование моделей не получило широкого распространения именно из-за трудностей, возникающих при разработке формального описания поведения системы. Одно из немногих исключений – системы связи, алгоритмический и математический аппарат которых достаточно хорошо проработан.
- Тестирование по Определения
- Модульное тестирование
- Интеграционное тестирование
- Системное тестирование
- Нагрузочное тестирование
- Формальные инспекции
- Бета-тестирование
- Регрессионное тестирование (regression testing)
- Тестирование черного ящика
- Тестирование стеклянного (белого) ящика
- Тестирование моделей
- Анализ программного кода (инспекции)
- Работа тестера
- Вопросы