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