Инструмент статического анализа для поиска ошибок в исходном коде программ

14 сентября 2018
441
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации
Ссылка на публикацию в интернете www.ispras.ru/technologies/sharpchecker/

Аннотация

SharpChecker – это платформа статического анализа программ на языке C#, ориентированная на поиск ошибок. Инструмент содержит как непосредственный анализатор кода, так и готовые компоненты для внедрения в производственный цикл разработки ПО. Это позволяет использовать технологию не только программистам для исправления ошибок в разрабатываемом проекте, но также их руководителям в качестве ещё одной динамической метрики, хорошо характеризующей качество продукта. SharpChecker не заменяет, а дополняет другие методы тестирования ПО и поиска ошибок. Как и любой другой статический анализатор, он позволяет исправлять ошибки на самых ранних стадиях, тем самым существенно снижая общую стоимость разработки. Кроме того, осуществляется анализ всех ветвей программы, что сложно достигнуть другими методами тестирования. Ещё одним преимуществом статического анализатора является возможность быстрого поиска ошибок в множестве различных конфигураций продукта без необходимости развёртывания программного и аппаратного окружения выполнения программы.
Подробнее
Для того чтобы оставить комментарий необходимо авторизоваться.