Публикации по тематике обнаружения дефектов

2010

Язык спецификаций поведения программных компонентов

Ицыксон В.М., Глухих М.И.. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. - СПб.: Изд-во Политехн. ун-та 2010. - №3. (В печати).

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

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

Моисеев М.Ю.. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. — СПб.: Изд-во Политехн. ун-та 2010. - №3. (В печати).

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

2009

Исследование средств постро­ения моделей исходного кода программ на языках C и C++

В.М. Ицыксон, М.И. Глухих, А.В. Зозуля, А.С. Власовских. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. — СПб.: Изд-во Политехн. ун-та, 2009. — №1 (72). — стр.122–130.

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

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

Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.. Системное программирование. 2009г. cc. 5-30.

Текст статьи

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

В.М. Ицыксон, М.Ю. Моисеев, В.А. Цесько, А.В. Захаров, М.Х. Ахин. Информационные и управляющие системы. — СПб.: Политехника, 2009. — №2 (39). — стр.34-41.

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

Текст статьи на eLibrary

Расчет метрик надёжности программ на основе статиче­ского анализа

М.Ю. Моисеев, А.В. Карпенко. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуни­кации. Управление. — СПб.: Изд-во Политехн. ун-та, 2009. — №3 (80). — стр.139–147.

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

Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ

М.Ю. Моисеев. Информационные и управляющие системы. — СПб.: Политехника, 2009. — №3 (40). — стр.33–39.

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

Текст статьи на eLibrary

2008

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

В.М. Ицыксон, А.В. Захаров, М.Х. Ахин, А.В. Мяснов. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. — СПб.: Изд-во Политехн. ун-та, 2008. — №5 (65). — стр.127-134.

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

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

В.М. Ицыксон, М.Ю. Моисеев, В.А. Цесько, А.В. Карпенко. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. – СПб.: Изд-во Политехн. ун-та, 2008. – №5 (65). – стр.119-127.

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