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