Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
Ключевые слова:
электронные схемы, информационное обеспечение САПР, базы данных схемных компонентов, математическая модель, эквивалентная схема модели, параметры моделиАннотация
Предлагается алгоритм интервального анализа с интерпретацией условий в операторах ветвления, предназначенный для обнаружения дефектов в исходном коде программ на языке C. Особенностью данного алгоритма является формирование оценки вероятности наличия дефекта. Рассматриваются способы управления точностью и полнотой анализа. Применение предложенного алгоритма иллюстрируется на примере программы.
Опубликован
20-04-2009
Как цитировать
Ицыксон, В. М., Моисеев, М. Ю., Цесько, В. А., Захаров, А. В., & Ахин, М. Х. (2009). Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы, (2), 34-41. извлечено от https://i-us.ru/index.php/ius/article/view/14827
Выпуск
Раздел
Программные и аппаратные средства
