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

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

Лаборатория разработала систему автоматического обнаружения дефектов Aegis, в которой реализованы оригинальные методы анализа и алгоритмы обнаружения.

Более подробная информация про систему автоматического обнаружения дефектов Aegis находится здесь.

Научно-исследовательские работы

  • Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения. 2008-2009
  • Обнаружение дефектов в многопоточных программах методами статического анализа. 2009-2010
  • Автоматизация построения моделей программных систем при верификации по методу проверки моделей. 2008-2011
  • Обнаружение ошибок синхронизации в моделях на языке SystemC. 2010-2011

Конференции

Публикации

  • A.Zakharov, V.Itsykson. Static approach to detection of data loss errors. Proceedings of 3nd Workshop "Program Semantics, Specification and Verification". N.Novgorod-2012. pp. 72-80.
  • M. Glukhikh, V. Itsykson, V. Tsesko. Using Dependencies to Improve Precision of Program Static Analysis. 6th International Computer Science Symposium in Russia. The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications. Yaroslavl, 2011. pp. 51-58.
  • M. Moiseev, A. Zakharov. Static Data Race Detection in SystemC Parallel Programs. 6th International Computer Science Symposium in Russia. The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications. Yaroslavl, 2011. pp. 136-143.
  • M. Belyaev, V. Tsesko. Development of LLVM-based static analysis tool using type and effect systems. 6th International Computer Science Symposium in Russia. The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications. Yaroslavl, 2011. pp. 102-110.
  • Моисеев М.Ю. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3, 2010
  • Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А. Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа. Технологии Microsoft в теории и практике программирования: материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада. – СПб.: Изд-во Политехн. ун-та, 2010. – 194 с.
  • Ицыксон В. М., Глухих М. И., Зозуля А. В., Власовских А. С. Исследование средств построения моделей исходного кода программ на языках C и C++. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №1 (72), 2009. сс. 122-130. СПб: СПбГПУ
  • Моисеев М.Ю. Итеративный алгоритм статического анализа для обнаружения дефектов в исходном коде программ // Информационные и управляющие системы, 2009. №3.
  • Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ. Информационные и управляющие системы. №2 (39), 2009. СПб:Политехника, сс. 34-41.
  • Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А. Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ. Системное программирование. Вып.4 . Сборник статей. Под ред. А.Н. Терехова, Д.Ю. Булычева. - СПб: Изд-во С. Петерб. ун-та. - 2009. - сс. 5-30. (Ещё)
  • Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A. Automatic defects detection in industrial C/C++ software / Software Engineering Conference in Russia (CEE-SECR), 2009 5th Central and Eastern European
  • Ицыксон В.М. Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения. Итоговая конференция по результатам выполнения мероприятий ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 годы» по приоритетному направлению «Информационные и телекоммуникационные системы» за 2009 год. Ханты-Мансийск: ОАО «Информационно-издательский центр»-2009
  • Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В. Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 119-127. СПб: СПбГПУ
  • Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В. Автоматическое обнаружение дефектов программных систем на основе метода проверки модели. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 127-134. СПб: СПбГПУ
  • Ицыксон В.М. Исследование и разработка системы автоматического обнаружения дефектов в исходном коде программного обеспечения. Итоговая конференция по реализации мероприятий за 2008г. по приоритетному направлению «Информационно-телекоммуникационные системы» в рамках выполнения ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2007-2012 годы». Ханты-Мансийск-2008