Автоматическое обнаружение дефектов
в промышленных программных системах
на языках С/С++

Владимир Ицыксон, Михаил Моисеев, Вадим Цесько, Алексей Захаров

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

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

Владимир Ицыксон

В 1996 году окончил с отличием Санкт-Петербургский государственный политехнический университет по специальности “Вычислительные машины, комплексы, системы, сети”. В 2000 году защитил диссертацию на соискание степени кандидата технических наук. С 1996 года преподает на кафедре автоматики и вычислительной техники СПбГПУ. Читает курсы лекций “Технологии компьютерных сетей”, “Защита информации в компьютерных сетях”, “Промышленные технологии проектирования ПО”. С 2000 года - доцент кафедры. С 2000 года руководит лабораторией программных разработок.

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

С 2005 года был руководителем нескольких научно-исследовательских проектов в области статического анализа ПО, визуализации поведения параллельных программных систем, реверс-инжниринга. Является автором более 80 научных публикаций по различным направлениям из области IT.