Технология программирования
Информатика и вычислительная техника
  • формат pdf
  • размер 1,11 МБ
  • добавлен 15 июня 2013 г.
Касьянов В.Н., Мирзуитова И.Л. Slicing: срезы программ и их использование
Под редакцией проф. Виктора Николаевича Касьянова. — Новосибирск: Институт систем информатики им. А.П. Ершова, 2002. — 117 с.
Книга содержит обзор существующих подходов и алгоритмов, используемых при построении срезов программ, а также различных приложений срезов, среди которых отладка, интеграция программ, тестирование потока данных, повторное проектирование и сопровождение программного обеспечения и является восьмой в серии книг, издаваемых Институтом систем информатики СО РАН по проблемам конструирования и оптимизации программ.
Представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Содержание:
Введение.
Зависимости по данным и зависимости по управлению.
Методы статических срезов.

Базовые алгоритмы.
Процедуры.
Неструктурированный поток управления.
Составные типы данных и указатели.
Параллелизм.
Сравнение.
Методы динамических срезов.
Базовые алгоритмы.
Процедуры.
Составные типы данных и указатели.
Параллельность.
Сравнение.
Области применения срезов программ.
Отладка и анализ программ.
Дифференциация и интеграция программ.
Сопровождение программного обеспечения.
Тестирование.
Настройка компиляторов.
Повторное проектирование.
Другие применения срезов.
Последние разработки.
Конкретизация программ.

Понятие конкретизации.
Аннотированное программирование.
Класс редуцирующих конкретизаций.
Заключение.
Список литературы.
Похожие разделы