19 января: Avalanche — инструмент обнаружения программных дефектов при помощи динамического анализа

Avalanche - это открытая разработка ИСП РАН, совместно с Samsung. Avalanche использует возможности динамической инструментации программы, предоставляемые Valgrind, для сбора и анализа трассы выполнения программы. Результатом такого анализа становится либо набор входных данных, на которых в программе возникает ошибка, либо набор новых тестовых данных, позволяющий обойти ранее не выполнявшиеся, и соответственно, еще не проверенные, фрагменты программы. Таким образом, имея единственный набор тестовых данных, Avalanche реализует итеративный динамический анализ, при котором программа многократно выполняется на различных, автоматически генерированных тестовых данных, при этом каждый новый запуск увеличивает покрытие кода программы такими тестами.

Докладчик: Сидоров Денис Владимирович, выпускник факультета ВМК МГУ 1999 года, сотрудник ИСП РАН с 1998 года, ведущий разработчик отдела системного программирования (группа анализа программ). Проекты: Klocwork Insight (система обратной инженерии, архитектурного и статического анализа), Avalanche. Области научных интересов: статический и динамический анализ программ, автоматический поиск ошибок в программах, автоматическая трансформация программ.

web: http://ispras.ru/ru/sp/contacts.php

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>