Сборники трудов ИСП РАН


Применение динамического анализа для поиска дефектов в программах на языке Java

С.П. Вартанов, А.Ю. Герасимов.

Аннотация

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

Ключевые слова

итеративный динамичеcкий анализ программ; автоматический поиск ошибок; анализ Java программ.

Издание

Труды Института системного программирования РАН, том 25, 2013, стр. 9-28.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2013-25-1

Полный текст статьи в формате pdf Вернуться к содержанию тома