Математика является базой для программиста, инженера, тестировщика. Математические модели важны для понимания того, как будет работать та или иная система, цифровая схема, программа. В нашем курсе вы познакомитесь с классической моделью дискретного устройства – конечным автоматом. Вы разберетесь, поведение каких систем можно описать этой моделью. Научитесь строить проверяющие тесты. Кроме того, мы предлагаем вам услышать мнение специалистов-практиков о роли тестирования при разработке и отладке программного обеспечения.
Помимо видеолекций и традиционных тестовых заданий в курсе предусмотрен тренажер, имитирующий процесс тестирования дискретной системы.
Цель курса: научить слушателя извлекать математическую модель из описания дискретной системы, строить на основе этой модели полный проверяющий тест и применять его при тестировании предъявленной реализации.
Требования к знаниям слушателей: знание математики в объёме средней школы (11 классов), а также базовые знания дискретной математики и информатики. Приветствуется знание основ цифровой техники.
Результаты обучения:
1. Слушатель поймет, что такое тестирование и роль формальных моделей в тестировании
2. Слушатель научится применять формальные модели для описания поведения дискретных систем
3. Слушатель научится осуществлять тестирование дискретных систем и анализировать результаты
Помимо видеолекций и традиционных тестовых заданий в курсе предусмотрен тренажер, имитирующий процесс тестирования дискретной системы.
Цель курса: научить слушателя извлекать математическую модель из описания дискретной системы, строить на основе этой модели полный проверяющий тест и применять его при тестировании предъявленной реализации.
Требования к знаниям слушателей: знание математики в объёме средней школы (11 классов), а также базовые знания дискретной математики и информатики. Приветствуется знание основ цифровой техники.
Результаты обучения:
1. Слушатель поймет, что такое тестирование и роль формальных моделей в тестировании
2. Слушатель научится применять формальные модели для описания поведения дискретных систем
3. Слушатель научится осуществлять тестирование дискретных систем и анализировать результаты
