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

Излагаются принципы технологии вычислительного моделирования, которая рассчитана на эффективный анализ неизвестных программ и реструктурирование их текстов. На ее основе разработан программный комплекс, предназначенный для содержательного анализа кода без выполнения программы. Технология анализа предполагает автоматическое построение графов связей между функциональносемантическими кластерами в текстах программ. Глубина такого анализа может варьировать от определения поведения (функций) отдельных операторов до анализа всего исходного кода, а его результаты могут быть использованы для оперативного выявления ошибок в программе или проверки ее соответствия спецификации. Технология реструктурирования текстов программ допускает перестройку текстов по заданному алгоритму и пополнение графов связей дополнительными кластерами.