Формальные языки и автоматы

Тема 1. Тестирование программ. Определения. Типы тестов и их роль в процессе разработки программного обеспечения.

Тема 10. Стрессовое тестирование. Тестирование производительности. Искусство отладки. Автоматизация тестирования.

Тема 9. Регрессионное тестирование. Тестирование правильности. Альфа-тестирование. Бета-тестирование. Системное тестирование. Тестирование восстановления. Тестирование безопасности.

Тема 8. Тестирование интеграции. Нисходящее тестирование интеграции. Восходящее тестирование интеграции. Монолитное тестирование. Сравнительный анализ.