Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ

Авторы: В. М. Ицыксон , М. Ю. Моисеев , В. А. Цесько , А. В. Захаров , М. Х. Ахин

Предлагается алгоритм интервального анализа с интерпретацией условий в операторах ветвления, предназначенный для обнаружения дефектов в исходном коде программ на языке C. Особенностью данного алгоритма является формирование оценки вероятности наличия дефекта. Рассматриваются способы управления точностью и полнотой анализа. Применение предложенного алгоритма иллюстрируется на примере программы.

Ключевые слова: статический анализ, интервальный анализ, обнаружение дефектов, программные дефекты

УДК: 004.052.42;004.415.5
Журнал: 2(39)/2009
Рубрика: Программные и аппаратные средства