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

Шабалдина Наталия Владимировна и еще 4 преподавателя

от партнера

Национальный исследовательский Томский государственный университет

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

Национальный исследовательский Томский государственный университет

Об этом курсе

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

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

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

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

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.

Сертификат, ссылками на который можно делиться с другими людьми

Получите сертификат по завершении

100% онлайн

Начните сейчас и учитесь по собственному графику.

Прибл. 25 часов на выполнение

Русский

Субтитры: Русский

Преподаватели

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.

Сертификат, ссылками на который можно делиться с другими людьми

Получите сертификат по завершении

100% онлайн

Начните сейчас и учитесь по собственному графику.

Прибл. 25 часов на выполнение

Русский

Субтитры: Русский

от партнера

Национальный исследовательский Томский государственный университет

National Research Tomsk State University is the largest classical university in the Asian part of Russia. For over 140 years TSU has been training the scientific and managerial elite, based on the integration of academic process and fundamental scientific research. It is a renowned center of education, science, innovations and attraction for creative talents, a generator of advanced ideas, and a paragon of adherence to the best traditions of Russian higher education.

There are 20 departments and learning institutes, 1 University branch, Institute of Distance Education, Institute of Innovations in Education operating at TSU, and more than 17,000 students studying at the University, with more than 130 subject areas and specialties to choose from. TSU offers 106 Master’s programmes in 25 areas of academic studies and counting. The number of international students is constantly increasing, now with more than 1300 TSU students coming from countries such as the USA, UK, Germany, France, Australia, Italy, Poland, Mongolia, China, Vietnam, Korea, Columbia, Turkey and others.

Программа курса: что вы изучите

Неделя

Неделя 1

1 ч. на завершение

Приветственный модуль

1 ч. на завершение

1 видео ((всего 3 мин.)), 6 материалов для самостоятельного изучения

1 видео

Введение к курсу3мин

6 материалов для самостоятельного изучения

Познакомьтесь с Национальным исследовательским Томским государственным университетом20мин

О команде курса1мин

Давайте познакомимся5мин

Литература к курсу10мин

Глоссарий к курсу10мин

Как с нами связаться5мин

5 ч. на завершение

Модуль 1. Конечные автоматы

5 ч. на завершение

3 видео ((всего 28 мин.)), 5 материалов для самостоятельного изучения, 1 тест

3 видео

1.1. Характеристика класса рассматриваемых дискретных систем7мин

1.2. Конечный автомат. Примеры, способы задания 10мин

1.3. Возникновение частичности и недетерминизма 9мин

5 материалов для самостоятельного изучения

Презентация к лекции 1.110мин

Презентация к лекции 1.210мин

1.2 Построение выходной последовательности10мин

1.2 Пример построения конечного автомата для подсчета слов с определенными характеристиками в заданном тексте10мин

Презентация к лекции 1.310мин

1 практическое упражнение

Итоговый тест к модулю 132мин

Неделя

Неделя 2

6 ч. на завершение

Модуль 2. Подходы к построению проверяющих тестов для конечных автоматов

6 ч. на завершение

4 видео ((всего 34 мин.)), 9 материалов для самостоятельного изучения, 1 тест

4 видео

2.1 Минимизация автоматов9мин

2.2 Инициальные автоматы, эквивалентность и различимость для них 10мин

2.3 Модель неисправности6мин

2.4 Построение проверяющих тестов для детерминированных автоматов 7мин

9 материалов для самостоятельного изучения

Презентация к лекции 2.110мин

Презентация к лекции 2.210мин

2.2 Оценка длины последовательности, различающей два состояния в автомате с n состояниями10мин

Презентация к лекции 2.310мин

2.3 Некоторые отношения конформности для недетерминированных автоматов10мин

2.3 Модель неисправности для случая, когда эталон – частичный автомат, а отношение конформности – отношение квазиэквивалентности10мин

Презентация к лекции 2.410мин

2.4 Переборный метод построения проверяющего теста для детерминированного полностью определенного инициального автомата10мин

Разбор типичной ошибки при построении обхода графа переходов10мин

1 практическое упражнение

Итоговый тест к модулю 230мин

Неделя

Неделя 3

7 ч. на завершение

Модуль 3. Методы построения проверяющих тестов для модели черного ящика

7 ч. на завершение

4 видео ((всего 35 мин.)), 7 материалов для самостоятельного изучения, 2 тестов

4 видео

3.1 Общая структура теста9мин

3.2 Построение множества достижимости 5мин

3.3 Построение множества различимости6мин

3.4 Идентификация состояний и проверка переходов 13мин

7 материалов для самостоятельного изучения

Презентация к лекции 3.110мин

Презентация к лекции 3.210мин

Множество достижимости10мин

Презентация к лекции 3.310мин

Множество различимости10мин

Презентация к лекции 3.410мин

Построение полного проверяющего теста методом Василевского10мин

Неделя

Неделя 4

3 ч. на завершение

Модуль 4. Описание автоматами дискретных устройств и схем

3 ч. на завершение

4 видео ((всего 47 мин.)), 4 материалов для самостоятельного изучения, 5 тестов

4 видео

4.1Базовые логические элементы. Комбинационные схемы9мин

4.2 Элементы памяти и примеры их описания конечными автоматами17мин

4.3 Построение конечного автомата по последовательностной схеме9мин

4.4 Пример описания цифровой схемы автоматной моделью10мин

4 материала для самостоятельного изучения

Презентация к лекции 4.110мин

Презентация к лекции 4.210мин

Презентация к лекции 4.310мин

Презентация к лекции 4.410мин

4 практических упражнения

Тренировочный тест к лекции 4.110мин

Тренировочный тест к лекции 4.210мин

Тренировочный тест к лекции 4.310мин

Тренировочный тест к лекции 4.410мин

Часто задаваемые вопросы

Когда я получу доступ к лекциям и заданиям?
Доступ к лекциям и заданиям предоставляется в зависимости от типа регистрации. Если вы проходите курс в режиме слушателя, то получите бесплатный доступ к большинству материалов курса. Чтобы открыть оцениваемые задания и возможность получить сертификат, необходимо будет приобрести прохождение с сертификатом. Это можно сделать во время прохождения в режиме слушателя или после него. Если вы не видите варианта 'Режим слушателя'.
Курс может не предлагаться в режиме слушателя. Попробуйте бесплатную пробную версию или подайте заявку на финансовую помощь.
Курс предлагаться в режиме 'Полный курс, без сертификата'. В нем можно просматривать все материалы, выполнять обязательные задания и получить итоговую оценку. Приобрести дополнительно прохождение с сертификатом в таком случае нельзя.
Что я получу, оплатив сертификацию?
Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.
Is financial aid available?
Да, Coursera предоставляет финансовую помощь учащимся, которые не могут оплатить обучение. Чтобы подать заявление, перейдите по ссылке 'Финансовая помощь' слева под кнопкой 'Зарегистрироваться' и заполните форму. Если его примут, вы получите уведомление. Подробнее

Остались вопросы? Посетите Центр поддержки учащихся.

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

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

Об этом курсе

Преподаватели

Шабалдина Наталия Владимировна

Прокопенко Светлана Анатольевна

Громов Максим Леонидович

Торгаев Станислав Николаевич

Лапутенко Андрей Владимирович

от партнера

Национальный исследовательский Томский государственный университет

Программа курса: что вы изучите

Неделя 1

Приветственный модуль

Модуль 1. Конечные автоматы

Неделя 2

Модуль 2. Подходы к построению проверяющих тестов для конечных автоматов

Неделя 3

Модуль 3. Методы построения проверяющих тестов для модели черного ящика

Неделя 4

Модуль 4. Описание автоматами дискретных устройств и схем

Неделя 5

Модуль 5. Практические аспекты тестирования

Часто задаваемые вопросы

Start or advance your career

Browse popular topics

Upskill your team

Earn a degree or certificate online

Coursera

Сообщество

Еще

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

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

Об этом курсе

Преподаватели

Шабалдина Наталия Владимировна

Прокопенко Светлана Анатольевна

Громов Максим Леонидович

Торгаев Станислав Николаевич

Лапутенко Андрей Владимирович

от партнера

Национальный исследовательский Томский государственный университет

Программа курса: что вы изучите

Неделя 1

Приветственный модуль

Модуль 1. Конечные автоматы

Неделя 2

Модуль 2. Подходы к построению проверяющих тестов для конечных автоматов

Неделя 3

Модуль 3. Методы построения проверяющих тестов для модели черного ящика

Неделя 4

Модуль 4. Описание автоматами дискретных устройств и схем

Неделя 5

Модуль 5. Практические аспекты тестирования

Часто задаваемые вопросы

Coursera Footer

Start or advance your career

Browse popular topics

Upskill your team

Earn a degree or certificate online

Coursera

Сообщество

Еще