УДК 519.683+519.688+519.71+519.1
© Н. В. Абасов, М. Ю. Чернышов, 2012
ПРОГРАММНЫЙ КОМПЛЕКС, ПРЕДНАЗНАЧЕННЫЙ ДЛЯ ЛОГИКО-СМЫСЛОВОГО АНАЛИЗА СЛОЖНЫХ ПРОГРАММНЫХ СИСТЕМ
Абасов Н. В. – канд. техн .наук, ведущий науч. сотрудник, e-mail: [email protected] (Институт систем энергетики им. Л. А. Мелентьева СО РАН); Чернышов М. Ю. – канд. физ. наук, зав. научно-методической частью, e-mail: [email protected] (Президиум Иркутского научного центра СО РАН)
Обсуждается проблема, связанная с отсутствием технологий эффективного анализа программных систем. Описывается программный комплекс, разработанный на основе предложенной авторами технологии вычислительного моделирования и предназначенный для автоматического анализа программ путем статического анализа кода текста объектной программы без её выполнения. Глубина анализа может варьировать от определения поведения операторов, отдельных функций – до анализа всего исходного кода. Результаты анализа используются для оперативного выявления ошибок в объектной программе и проверки её соответствия спецификации. Реализована оригинальная технология, предполагающая автоматическое выявление функциональных связей в текстах программ и построение многообразия их модельных графических представлений. Она также допускает возможности изменения проанализированной граф-структуры и дополнения её дополнительными кластерами.
Ключевые слова: надёжные вычислительные системы; вычислительная технология эффективного анализа программ; статический анализ и модификация кода; графы связей; технология автоматического построения графов связей; метод вычислительного моделирования.
Загрузить статью (380.7 Кб)
