Математика в тестировании дискретных систем

Математика является базой для программиста, инженера, тестировщика. Математические модели важны для понимания того, как будет работать та или иная система, цифровая схема, программа. В нашем курсе вы познакомитесь с классической моделью дискретного устройства – конечным автоматом. Вы разберетесь, поведение каких систем можно описать этой моделью. Научитесь строить проверяющие тесты. Кроме того, мы предлагаем вам услышать мнение специалистов-практиков о роли тестирования при разработке и отладке программного обеспечения.

Помимо видеолекций и традиционных тестовых заданий в курсе предусмотрен тренажер, имитирующий процесс тестирования дискретной системы.

Цель курса: научить слушателя извлекать математическую модель из описания дискретной системы, строить на основе этой модели полный проверяющий тест и применять его при тестировании предъявленной реализации.

Требования к знаниям слушателей: знание математики в объёме средней школы (11 классов), а также базовые знания дискретной математики и информатики. Приветствуется знание основ цифровой техники.

Результаты обучения:
1. Слушатель поймет, что такое тестирование и роль формальных моделей в тестировании
2. Слушатель научится применять формальные модели для описания поведения дискретных систем
3. Слушатель научится осуществлять тестирование дискретных систем и анализировать результаты

• Приветственный модуль
• Модуль 1. Конечные автоматы
• Модуль 2. Подходы к построению проверяющих тестов для конечных автоматов
• Модуль 3. Методы построения проверяющих тестов для модели черного ящика
• Модуль 4. Описание автоматами дискретных устройств и схем
• Модуль 5. Практические аспекты тестирования