Математика является базой для программиста, инженера, тестировщика. Математические модели важны для понимания того, как будет работать та или иная система, цифровая схема, программа. В нашем курсе вы познакомитесь с классической моделью дискретного устройства – конечным автоматом. Вы разберетесь, поведение каких систем можно описать этой моделью. Научитесь строить проверяющие тесты. Кроме того, мы предлагаем вам услышать мнение специалистов-практиков о роли тестирования при разработке и отладке программного обеспечения.
Математика в тестировании дискретных систем
Национальный исследовательский Томский государственный университетОб этом курсе
Недавно просмотрено: 3,560
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Прибл. 24 часа на выполнение
Русский
Субтитры: Русский
Преподаватели
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Прибл. 24 часа на выполнение
Русский
Субтитры: Русский
от партнера
Национальный исследовательский Томский государственный университет
National Research Tomsk State University is the largest classical university in the Asian part of Russia. For over 135 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.
Программа курса: что вы изучите
1 ч. на завершение
Приветственный модуль
1 ч. на завершение
1 видео ((всего 3 мин.)), 6 материалов для самостоятельного изучения
1 видео
Введение к курсу3мин
6 материалов для самостоятельного изучения
Познакомьтесь с Национальным исследовательским Томским государственным университетом20мин
О команде курса1мин
Давайте познакомимся5мин
Литература к курсу10мин
Глоссарий к курсу10мин
Как с нами связаться5мин
4 ч. на завершение
Модуль 1. Конечные автоматы
4 ч. на завершение
3 видео ((всего 28 мин.)), 5 материалов для самостоятельного изучения, 1 тест
3 видео
1.2. Конечный автомат. Примеры, способы задания 10мин
1.3. Возникновение частичности и недетерминизма 9мин
5 материалов для самостоятельного изучения
Презентация к лекции 1.110мин
Презентация к лекции 1.210мин
1.2 Построение выходной последовательности10мин
1.2 Пример построения конечного автомата для подсчета слов с определенными характеристиками в заданном тексте10мин
Презентация к лекции 1.310мин
1 практическое упражнение
Итоговый тест к модулю 132мин
5 ч. на завершение
Модуль 2. Подходы к построению проверяющих тестов для конечных автоматов
5 ч. на завершение
4 видео ((всего 34 мин.)), 8 материалов для самостоятельного изучения, 1 тест
4 видео
2.2 Инициальные автоматы, эквивалентность и различимость для них 10мин
2.3 Модель неисправности6мин
2.4 Построение проверяющих тестов для детерминированных автоматов 7мин
8 материалов для самостоятельного изучения
Презентация к лекции 2.110мин
Презентация к лекции 2.210мин
2.2 Оценка длины последовательности, различающей два состояния в автомате с n состояниями10мин
Презентация к лекции 2.310мин
2.3 Некоторые отношения конформности для недетерминированных автоматов10мин
2.3 Модель неисправности для случая, когда эталон – частичный автомат, а отношение конформности – отношение квазиэквивалентности10мин
Презентация к лекции 2.410мин
2.4 Переборный метод построения проверяющего теста для детерминированного полностью определенного инициального автомата10мин
1 практическое упражнение
Итоговый тест к модулю 230мин
7 ч. на завершение
Модуль 3. Методы построения проверяющих тестов для модели черного ящика
7 ч. на завершение
4 видео ((всего 35 мин.)), 7 материалов для самостоятельного изучения, 2 тестов
4 видео
3.2 Построение множества достижимости 5мин
3.3 Построение множества различимости6мин
3.4 Идентификация состояний и проверка переходов 13мин
7 материалов для самостоятельного изучения
Презентация к лекции 3.110мин
Презентация к лекции 3.210мин
Множество достижимости10мин
Презентация к лекции 3.310мин
Множество различимости10мин
Презентация к лекции 3.410мин
Построение полного проверяющего теста методом Василевского10мин
3 ч. на завершение
Модуль 4. Описание автоматами дискретных устройств и схем
3 ч. на завершение
4 видео ((всего 47 мин.)), 4 материалов для самостоятельного изучения, 5 тестов
4 видео
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?
Средства можно вернуть в течение двух недель с момента оплаты или (для только что начавшихся курсов) в течение двух недель после первой сессии, в зависимости от того, какое событие наступит позже. Средства не возвращаются после получения сертификата о прохождении курса, даже если вы закончили курс в течение двухнедельного гарантийного срока. Ознакомьтесь с нашей политикой возврата средств.
Will I earn university credit for completing the Course?
Да, Coursera предоставляет финансовую помощь учащимся, которые не могут оплатить обучение. Чтобы подать заявление, перейдите по ссылке 'Финансовая помощь' слева под кнопкой 'Зарегистрироваться' и заполните форму. Если его примут, вы получите уведомление. Подробнее
Остались вопросы? Посетите Центр поддержки учащихся.
