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

Доклады в рамках дискуссии:

• Анна Воробьева «Починить нельзя выбросить. Трудное наследие разработчиков»
• Наталия Вегерина «Методы и инструменты анализа исходного кода ПО»
• Александр Липанов «Метрический анализ исходного кода. Автоматизированная реструктуризация и генерация рекомендаций по совершенствованию кода и архитектуры ПО.»

Программа круглого стола:

1. Зачем нужен анализ исходного кода ПО, какие преимущества, как организовать процесс анализа кода в команде
2. Какие методы используются при анализе кода
3. Как понимать и интерпретировать рекомендации
4. Почему следует доверять результатам анализа исходного кода ПО
5. Какие задачи могут решаться и при помощи каких инструментов
6. Какие виды анализа исходного кода бывают и как они могут использоваться разработчиками
7. Как можно использовать результаты анализа кода для улучшения и оптимизации
8. Метрики исходного кода в рамках различных стандартов IEEE, ISO, CMMI.

Модератор: Александр Липанов

Кандидат технических наук, доцент кафедры информатики, Харьковский Национальный Университет Радиоэлектроники; директор, Infostroy

Более 20 лет работает в сфере разработки программного обеспечения, из них 12 лет руководит компанией Infostroy Ltd. Родился в городе Харьков, Украина, получил степень бакалавра, магистра, звание кандидата технических наук в Харьковском Национальном Университете Радиоэлектроники (ХНУРЭ), имеет научную степень доцент.

Александр Липанов успешно совмещает научную и преподавательскую деятельность на кафедре Информатики ХНУРЭ с руководством компанией Infostroy Ltd, которая занимается уже много лет разработкой различного программного обеспечения.

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

Участники

Наталия Вегерина

Руководитель проектов, Infostroy

Родилась в Харькове, Украина. Получила степень бакалавра и магистра в Харьковском Национальном Университете Радиоэлектроники (ХНУРЭ). Наталия работает в компании Infostroy Ltd на должности руководителя проектов, а также участвует в научно-исследовательских проектах компании Infostroy Ltd, в частности, активно работает в проекте «Экспертная система анализа качества исходного кода программного обеспечения» и занимается разработкой новых методов и подходов к анализу и оптимизации исходного кода ПО.

Анна Воробьева

Ведущий разработчик виртуализационной команды, Parallels; преподаватель, МФТИ

Анна участвовала в разработке продукта с Parallels Workstation 2 до Parallels Desktop 8. Автор крупных фич, как-то: эмулятор процессора, менеджер памяти, механизм переключения пространств, виртуализация виртуализации (nested). На протяжении почти десяти лет Анна развивала движок виртуальной машины, прошедший через несколько кардинальных пересмотров требований. Сейчас Анна занимается решением архитектурных вопросов.

Александр Петренко

Петренко Александр Константинович, профессор, доктор физико-математических наук, заведующий отделом Технологий программирования ИСПРАН, профессор кафедры системного программирования ВМК МГУ им. М.В.Ломоносова.

Член редколлегии журнала «Программирование», Председатель подкомитета Технического комитета по стандартизации ТК22 JTC 1 ISO/JEC «Языки программирования, их окружение и системные программные интерфейсы», организатор международного семинара по тестированию на основе моделей (Model Based Testing – MBT), ежегодной конференции молодых ученых по программной инженерии (Spring Young Researchers Colloquium on Software Engineering, SyrcoSE), Московского городского семинара по Технологии разработки и анализа программ.

Член программных комитетов международных конференций ISOLA, OpenCert, PSI, SEFM, TOOLS. Рецензент журнала «Journal of Systems and Software».

Окончил факультет прикладной математики МИЭМ (1974). Кандидат физико-математических наук (1983), тема диссертации «Инструментальные средства для разработки интерактивных пакетов программ». Доктор физико-математических наук (2003), тема диссертации «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов».

С 1974 по 2002 гг. работал в Институте прикладной математики им. М. В. Келдыша РАН, один из разработчиков системы ДИМОН, участвовал в разработке ПО для поддержки нескольких советских космических программ; с 1994 г. работает в Институте системного программирования РАН.

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

Читает курс лекций «Формальная спецификация и верификация программ», ведет специальный семинар «Корректность программ». А. К. Петренко является соавтором нескольких патентов, опубликовал свыше 80 научных работ.