SECR 2009 is over. To learn about current SECR please visit www.cee-secr.org.
Важные даты
26, 27, 30 Октября: официальный тренинг по CMMI на русском языке

27 Октября: Банковский день и другие дополнительные мероприятия

28-29 Октября: основные дни конференции и SQA Days
Наши спонсоры

Adobe

Premium sponsor


Intel

Premium sponsor


Microsoft

Premium sponsor


Exigen Services

Gold sponsor


IBM

Gold sponsor


EMC

Silver sponsor


iCarnegie

Sponsor

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

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


Тезисы

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

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

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

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

Биография

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

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

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

« Предыдущий доклад Все устные доклады Следующий доклад »

Ключевые доклады Приглашенные доклады Семинары Виды докладов

Все доклады (по фамилии докладчика) Все доклады (по названию компании)

IEEEIEEE Computer SocietyTCSEIEEE Moscow Center
TEKAMA HSE RUSSOFT AP KIT
SQALAB Infopark A-SYS Ukrainian Hi-Tech Initiative
INTSPEI IT Ukraine
Adobe Intel Microsoft
Exigen Services
EMC
iCarnegie