Электронная книга

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