Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ
Ключевые слова:
надежность программного обеспечения, обнаружение программных дефектов, статический анализ, интервальный анализ, анализ указателейАннотация
Предлагается способ организации совместной работы алгоритмов статического анализа для обнаружения широкого класса дефектов в программах на языке C на основе итеративного алгоритма, многократно выполняющего отдельные алгоритмы анализа с уточнением результатов, получаемых на каждой итерации. Рассматриваются свойства предложенного подхода в сравнении с другими вариантами организации комплексного анализа.
Опубликован
19-06-2009
Как цитировать
Моисеев, М. Ю. (2009). Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы, (3), 33-39. извлечено от https://i-us.ru/index.php/ius/article/view/14846
Выпуск
Раздел
Программные и аппаратные средства
