Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
Вам нравится? Нравится 2 студентам
Уровень:
Для всех
Студентов:
30
В курсе определяется один из методов метавычислений — окрестностный анализ,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — окрестностный анализатор.
Окрестностный анализ является инструментом общего назначения в области анализа программ. Он позволяет вычислять формальный ответ на неформальный вопрос: «какая информация о некоторых данных d была использована (или не была использована) в процессе вычисления некоторой программы p над данными d?». В курсе показано, что, будучи применённым к проблеме тестирования программ, окрестностный анализ позволяет получить новый перспективный подход к этой проблеме: окрестностное тестирование программ.
Предварительные курсы
План занятий
Занятие
Заголовок <<
Дата изучения