Анализ потока управления

Анализ потока управления

Анализ потока управления — это статический анализ кода для определения порядка выполнения программы. Порядок выполнения выражается в виде графа потока управления.

Для многих языков граф потока управления явно прослеживается в исходном коде программы. Как результат, анализ потока управления обычно относится статическому анализу кода. В ходе анализа определяются приемники функций и методов, вызванных программами, написанными на языках высокого уровня. И для языков функционального программирования, и для объектно-ориентированных языков программирования термин «Анализ потока управления» означает алгоритм, который формирует граф потока управления.

Термин анализ потока управления (control flow analysis) был впервые использован Нейлом Джонсом (Neil D. Jones)[1] и Олином Шиверсом (Olin Shivers)[2].

Для анализа потока управления могут быть использованы: Абстрактная интерпертация (англ.), Удовлетворение ограничений, Типизация данных.

Примечания

  1. ↑ Neil D. Jones (1981), "«Flow analysis of lambda expressions»", Automata, Languages and Programming: 114–128, DOI 10.1007/3-540-10843-2_10 
  2. ↑ Shivers, Olin (1988), "«Control-flow analysis in Scheme»", Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, Vol.23, No.7: 164–174, DOI 10.1145/53990.54007 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "Анализ потока управления" в других словарях:

  • Граф потока управления — Простые графы потока управления[1] Граф потока управления (англ.  …   Википедия

  • Анализ портфельных рисков — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей …   Википедия

  • анализ — 3.8.7 анализ (review): Деятельность, предпринимаемая для установления пригодности, адекватности и результативности (3.2.14) рассматриваемого объекта для достижения установленных целей. Примечание Анализ может также включать определение… …   Словарь-справочник терминов нормативно-технической документации

  • АНАЛИЗ ДЬЮРЕЙШН — DURATION ANALYSISАНАЛИЗ АКТИВОВ/ПАССИВОВ, к рый включает измерение изменений стоимости реального основного капитала, возникающих в результате определенных изменений процентных ставок. Термин дьюрейшн был предложен в 1938 г. Маколеем (Macauley), к …   Энциклопедия банковского дела и финансов

  • Управления автоматизированная система — (АСУ)         совокупность экономико математических методов, технических средств (ЭВМ, средств связи, устройств отображения информации, передачи данных и т.д.) и организационных комплексов, обеспечивающих рациональное управление сложным объектом… …   Большая советская энциклопедия

  • Мониторинг и анализ сетей — Мониторинг сетей  целенаправленное воздействие на сеть, осуществляемое для организации ее функционирования по заданной программе:  включение и отключение системы, каналов передачи данных, терминалов, диагностика неисправностей, сбор… …   Википедия

  • ГОСТ 15895-77: Статистические методы управления качеством продукции. Термины и определения — Терминология ГОСТ 15895 77: Статистические методы управления качеством продукции. Термины и определения оригинал документа: 2.30. k я порядковая статистика x(k) Определения термина из разных документов: k я порядковая статистика 2.44.… …   Словарь-справочник терминов нормативно-технической документации

  • Теория управления — Теория управления  наука о принципах и методах управления различными системами, процессами и объектами. Основами теории управления являются кибернетика и теория информации. Суть теории управления состоит в построении математической модели на …   Википедия

  • ПРОТОЧНО-ИНЖЕКЦИОННЫЙ АНАЛИЗ — (ПИА), авто матизир. метод анализа и исследования в потоке. При этом точный микрообъем (пробу) изучаемой жидкости вводят в непрерывно движущийся по направлению к детектору поток инертного носителя (или р ра реагента). В потоке образуется зона… …   Химическая энциклопедия

  • Реверс органов управления самолета — (от латинского revrsus обращенный назад) явление, обусловленное потерей эффективности аэродинамических органов управления и обращением их действия. Р. наступает главным образом из за упругости авиационных конструкций. Например, для прямого крыла… …   Энциклопедия техники


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»