Математическое моделирование универсальных многоуровневых промежуточных представлений для статического анализа исходного кода

Скачать текст статьи в формате PDF

Авторы: Зубов М. В., Пустыгин А. Н., Старцев Е. В.

Аннотация: Для выполнения статического анализа было предложено использовать универсальные многоуровневые промежуточные представления. Для оценки их эффективности и определения критериев качества была разработана общая математическая модель промежуточного представления. На ее основе были получены математические модели для универсального представления уровня классов и потока управления. Было выполнено численное моделирование статического анализатора, позволяющее оценить эффективность использования таких промежуточных представлений на практике.

Ключевые слова: программирование, статический анализ, промежуточное представление, математическая модель, исходный код, рефакторинг, java

Библиография статьи: Зубов М. В. Математическое моделирование универсальных многоуровневых промежуточных представлений для статического анализа исходного кода / М. В. Зубов, А. Н. Пустыгин, Е. В. Старцев // Доклады ТУСУР. – 2014. – № 3(33). – С. 94–99.

Адрес редакции

  634050, г. Томск, пр. Ленина, 40, МК, каб. 310/2

  (3822) 701-582, внутр.: 1456

  journal@tusur.ru

 

Масленников Виктор Николаевич

Ответственный секретарь редакции журнала

  634050, г. Томск, пр. Ленина, 40, МК, каб. 310/2

  (3822) 51-21-21, внутр.: 1460

  vnmas@tusur.ru