Инструмент статического анализа для поиска ошибок в исходном коде программ
14 сентября 2018
608
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | — |
Ссылка на публикацию в интернете | www.ispras.ru/technologies/sharpchecker/ |
Аннотация
SharpChecker – это платформа статического анализа программ на языке C#, ориентированная на поиск ошибок. Инструмент содержит как непосредственный анализатор кода, так и готовые компоненты для внедрения в производственный цикл разработки ПО. Это позволяет использовать технологию не только программистам для исправления ошибок в разрабатываемом проекте, но также их руководителям в качестве ещё одной динамической метрики, хорошо характеризующей качество продукта. SharpChecker не заменяет, а дополняет другие методы тестирования ПО и поиска ошибок. Как и любой другой статический анализатор, он позволяет исправлять ошибки на самых ранних стадиях, тем самым существенно снижая общую стоимость разработки. Кроме того, осуществляется анализ всех ветвей программы, что сложно достигнуть другими методами тестирования. Ещё одним преимуществом статического анализатора является возможность быстрого поиска ошибок в множестве различных конфигураций продукта без необходимости развёртывания программного и аппаратного окружения выполнения программы.
ПодробнееДля того чтобы оставить комментарий необходимо авторизоваться.