Автор: Сергей Абрамов (переводчик) | Университет города Переславля им. А. К. Айламазяна
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Студентов:
28
В курсе определяется один из методов метавычислений — окрестностный анализ,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — окрестностный анализатор.
Окрестностный анализ является инструментом общего назначения в области анализа программ. Он позволяет вычислять формальный ответ на неформальный вопрос: «какая информация о некоторых данных d была использована (или не была использована) в процессе вычисления некоторой программы p над данными d?». В курсе показано, что, будучи применённым к проблеме тестирования программ, окрестностный анализ позволяет получить новый перспективный подход к этой проблеме: окрестностное тестирование программ.
 
Игорь Баранов
Игорь Баранов
Россия
Сергей Максимов
Сергей Максимов
Россия