Методика построения операционных графовых моделей программ

Рассматриваются назначение, способы представления и методика построения операционной графовой модели программы (ОГМП). Указываются основные этапы построения ОГМП и отмечаются проблемы, возникающие при их выполнении. Описывается программное средство (ПС) поддержки построения ОГМП, разработанное и используемое в лабораторном практикуме кафедры МОЭВМ при расчете харак- теристик эффективности выполнения программ. Отмечаются особенности реализации основных ком- понентов ПС поддержки построения ОГМП, таких как модуль расстановки контрольных точек (КТ), обеспечивающий внедрение вызовов функции КТ в текст исследуемой программы для ее профилирования и формирование управляющего графа программы (УГП), служащего каркасом для построения ОГМП, а также модуля нагружения УГП, формирующего с помощью программного монитора требуемую ОГМП в виде графа с нагруженными дугами. В заключение предлагается методика проверки адекватности со- зданной ОГМП, подтверждающая соответствие ее поведения работе исследуемой программы.

Авторы: В. А. Кирьянчиков

Направление: Информатика и компьютерные технологии

Ключевые слова: Эффективность, операционная графовая модель программы, управляющий граф программы, параметр потребления ресурсов, вероятность выбора маршрута выполнения программы, контрольная точка


Открыть полный текст статьи