Математика является базой для программиста, инженера, тестировщика. Математические модели важны для понимания того, как будет работать та или иная система, цифровая схема, программа. В нашем курсе вы познакомитесь с классической моделью дискретного устройства – конечным автоматом. Вы разберетесь, поведение каких систем можно описать этой моделью. Научитесь строить проверяющие тесты. Кроме того, мы предлагаем вам услышать мнение специалистов-практиков о роли тестирования при разработке и отладке программного обеспечения.
Математика в тестировании дискретных систем
Национальный исследовательский Томский государственный университетОб этом курсе
Недавно просмотрено: 6,193
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Прибл. 24 часа на выполнение
Русский
Субтитры: Русский
Преподаватели
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Прибл. 24 часа на выполнение
Русский
Субтитры: Русский
от партнера
Национальный исследовательский Томский государственный университет
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.
Программа курса: что вы изучите
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мин
6 ч. на завершение
Модуль 2. Подходы к построению проверяющих тестов для конечных автоматов
6 ч. на завершение
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мин
Часто задаваемые вопросы
Когда я получу доступ к лекциям и заданиям?
Что я получу, оплатив сертификацию?
Is financial aid available?
Остались вопросы? Посетите Центр поддержки учащихся.
