Moocable is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

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

Description

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

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

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

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

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

Tags

Syllabus

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

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

Affiliate notice

  • Type
    Online Courses
  • Provider
    Coursera

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

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

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

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

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

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

Related Courses