Евгений Герлиц, научный сотрудник отдела технологий программирования ИСП РАН.
В 2008 году закончил обучение на факультете ВМК МГУ им. Ломоносова, а в 2011 году аспирантуру этого факультета. Сферой научных интересов являются методы динамической верификации программ и в частности тестирования, статический и динамический анализ программ, методы обеспечения качества программ на протяжении всего их жизненного цикла.
Измерение покрытия исходного кода тестами является одним из основных способов оценки качества тестирования. Стандарт DO-178C, в соответствии с которым происходит разработка и международная сертификация программных систем, применяемых в гражданской авионике, требует измерять тестовое покрытие критичных модулей исходного кода по таким критериям полноты как покрытие строк, ветвей и MC/DC. Наша работа посвящена проблемам интеграции инструментов для сбора покрытия исходного кода и профилирования в операционные системы, разработанные в соответствии со стандартом ARINC 653. Выполнено эмпирическое исследование внутреннего устройства инструмента для сбора покрыия Gcov и инструмента для профилирования Gprof из набора инструментов GCC, а также инструмента для сбора покрытия llvm-cov из набора инструментов LLVM. Разработана архитектура для среды выполнения инструментов в ARINC 653 cовместимых ОСРВ. Результаты исследований апробированы - инструменты интегрированы в ОСРВ, разрабатываемые в ИСП РАН, в частности в ОСРВ JetOS, и внедрены в существующие процессы непрерывной интеграции и развёртывания.
