Оценка покрытия кода при статическом анализе.

Авторы

Андрианов П.С.

Аннотация

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

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

покрытие кода, статический анализ.

Издание

Сборник тезисов десятой конференции разработчиков свободных программ, Калуга, 2013, сс. 35-38.

Научная группа

Технологии программирования

Все публикации за 2013 год

Все публикации