Основы вычислительной технологии для анализа и реструктурирования текстов программ на принципах логико-смыслового анализа и синтеза
Автор: Чернышов Михаил Юрьевич, Абасов Николай Викторович, Осипчук Евгений Николаевич
Журнал: Вестник Бурятского государственного университета. Философия @vestnik-bsu
Рубрика: Системный анализ и информационные технологии
Статья в выпуске: 9, 2012 года.
Бесплатный доступ
Излагаются принципы технологии вычислительного моделирования, которая рассчитана на эффективный анализ неизвестных программ и реструктурирование их текстов. На ее основе разработан программный комплекс, предназначенный для содержательного анализа кода без выполнения программы. Технология анализа предполагает автоматическое построение графов связей между функциональносемантическими кластерами в текстах программ. Глубина такого анализа может варьировать от определения поведения (функций) отдельных операторов до анализа всего исходного кода, а его результаты могут быть использованы для оперативного выявления ошибок в программе или проверки ее соответствия спецификации. Технология реструктурирования текстов программ допускает перестройку текстов по заданному алгоритму и пополнение графов связей дополнительными кластерами.
Технологии вычислительного моделирования, содержательный анализ текстов программ, реструктурирование текстов программ, статический анализ кода, графы связей
Короткий адрес: https://sciup.org/148181269
IDR: 148181269 | УДК: 519.683+519.688+519.71+519.1
Foundations of the computational technology intended for analysis and restructuring software texts on the principles of logic-semantic analysis and synthesis
The principles of the computational modeling technology, which is oriented to efficient analysis of unknown software and restructuring of the software text, are outlined. A software complex intended for semantic code analysis without execution of the program has been elaborated on the basis of this technology. The analytical technology presumes automatic constructing of graphs of relations between the functional-semantic clusters in the texts. The depth of analysis may vary from determination of separate operators’ behavior (functions) to analysis of the total code, and its results may be used in time optimal finding errors in the program or verification of its correspondence to the specification. The technology of restructuring of the texts analyzed presumes reconstruction of the texts according to some algorithm and complementing the relation graphs with additional clusters.
