Метавычисления и их приложения: окрестностный анализ и окрестностное тестирование

В курсе определяется один из методов метавычислений — окрестностный анализ,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — окрестностный анализатор.
Студентов 12
690 ₽
Темы:
Программирование
Объем
16 час.
Длительность
16 дней
Нагрузка в неделю
2 час.
Описание Курс посвящен окрестностному анализу как инструменту общего назначения для исследования программного кода. Изучаются методы оценки того, какая информация была использована в процессе вычисления программы над заданными данными. Материал показывает, как применение окрестностного анализа позволяет разработать новый подход к тестированию программного обеспечения. Курс будет полезен разработчикам и специалистам по анализу и верификации программ.
Цели
  • Сформировать понимание принципов окрестностного анализа программ.
  • Раскрыть механизмы вычисления деревьев конфигураций и процессов.
  • Подготовить к применению окрестностного тестирования при разработке ПО.
Чему я научусь?
  • Анализировать процесс вычисления программ с помощью окрестностного анализатора.
  • Определять использование данных в процессе работы алгоритма.
  • Применять методы окрестностного тестирования для верификации кода.
Чему я научусь?
  • Анализировать процесс вычисления программ с помощью окрестностного анализатора.
  • Определять использование данных в процессе работы алгоритма.
  • Применять методы окрестностного тестирования для верификации кода.

Учебный план

№ Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз. 90 мин
1 Обзор дерева конфигураций tree 66 мин
2 Определение множества процессов вычисления. Определение дерева процессов 60 мин
3 Дерево процессов. Синтаксис представления дерева процессов 18 мин
4 Вспомогательные функции в алгоритме ptr. Идея алгоритма ptr. Интерпретатор языка TSG 81 мин
5 Алгоритм и свойства ptr. Функции evalt, ccond 144 мин
6 Множества достижимости 57 мин
7 Алгоритм xptr 69 мин
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз. 90 мин
Экзамен 60 мин

Какой документ я получу?

Стоимость программы

690 ₽
^