Электронные книги: Метавычисления и их приложения: окрестностный анализ и окрестностное тестирование
4 марта 2015
Электронная книга
()
В курсе определяется один из методов метавычислений — окрестностный анализ,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — окрестностный анализатор.
Окрестностный анализ является инструментом общего назначения в области анализа программ. Он позволяет вычислять формальный ответ на неформальный вопрос: «какая информация о некоторых данных d была использована (или не была использована) в процессе вычисления некоторой программы p над данными d?» В курсе показано, что, будучи применённым к проблеме тестирования программ, окрестностный анализ позволяет получить новый перспективный подход к этой проблеме: окрестностное тестирование программ.
Окрестностный анализ является инструментом общего назначения в области анализа программ. Он позволяет вычислять формальный ответ на неформальный вопрос: «какая информация о некоторых данных d была использована (или не была использована) в процессе вычисления некоторой программы p над данными d?» В курсе показано, что, будучи применённым к проблеме тестирования программ, окрестностный анализ позволяет получить новый перспективный подход к этой проблеме: окрестностное тестирование программ.
Учебный курс
Уровень: для всех | Доступ: свободно | Студентов: 30 / 0
В курсе определяется один из методов метавычислений — окрестностный анализ,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — окрестностный анализатор.
|