Публикации по тематике обнаружения дефектов
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. Особенностью данного алгоритма является формирование оценки вероятности наличия дефекта. Рассматриваются способы управления точностью и полнотой анализа. Применение предложенного алгоритма иллюстрируется на примере программы.
Расчет метрик надёжности программ на основе статического анализа
М.Ю. Моисеев, А.В. Карпенко. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. — СПб.: Изд-во Политехн. ун-та, 2009. — №3 (80). — стр.139–147.
Предлагается способ оценки надежности ПО на основе статического анализа исходного кода программы. Оценка надежности программы формируется одновременно с обнаружением дефектов. Данный подход применим для различных языков программирования, в качестве примера рассматривается оценка надежности программ на языке C.
Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ
М.Ю. Моисеев. Информационные и управляющие системы. — СПб.: Политехника, 2009. — №3 (40). — стр.33–39.
Предлагается способ организации совместной работы алгоритмов статического анализа для обнаружения широкого класса дефектов в программах на языке C. Основой данного способа является итеративный алгоритм, многократно выполняющий отдельные алгоритмы анализа с уточнением результатов, получаемых на каждой итерации. Рассматриваются свойства предложенного подхода в сравнении с другими вариантами организации комплексного анализа.
2008
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
В.М. Ицыксон, А.В. Захаров, М.Х. Ахин, А.В. Мяснов. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. — СПб.: Изд-во Политехн. ун-та, 2008. — №5 (65). — стр.127-134.
Разработан комплексный подход к обнаружению программных дефектов, основывающийся на расширении статического анализа методом проверки моделей. Показана применимость подхода на примере задачи обнаружения ошибок протоколов вызова.
Исследование систем автоматизации обнаружения дефектов в исходном коде программ
В.М. Ицыксон, М.Ю. Моисеев, В.А. Цесько, А.В. Карпенко. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. – СПб.: Изд-во Политехн. ун-та, 2008. – №5 (65). – стр.119-127.
Предложена классификация дефектов в исходном коде программ. Проведён сравнительный анализ существующих средств автоматизированного выявления дефектов на основе статического анализа исходного кода. Сформулированы направления дальнейшего развития в области автоматизированного выявления дефектов.