В курсе определяется один из методов метавычислений — окрестностный анализ,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — окрестностный анализатор.

Окрестностный анализ является инструментом общего назначения в области анализа программ. Он позволяет вычислять формальный ответ на неформальный вопрос: «какая информация о некоторых данных d была использована (или не была использована) в процессе вычисления некоторой программы p над данными d?». В курсе показано, что, будучи применённым к проблеме тестирования программ, окрестностный анализ позволяет получить новый перспективный подход к этой проблеме: окрестностное тестирование программ.

Данный курс предназначен для слушателей, ранее прошедших курс «Основы метавычислений».