Набор детекторов ошибок в программах на языке С# инструмента статического анализа "SharpChecker"

14 сентября 2018
183
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Москва
Отличия от конкурентов
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201761052
Дата регистрации документа ИС 2017-01-12
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

Программа является частью инструмента статического анализа SharpChecker. Данный анализатор применяется при разработке ПО для повышения его качества и снижения стоимости разработки из-за возможности раннего исправления ошибок. Программа содержит следующие детекторы: 1) поиск ошибок копирования-вставки (cope-paste error), 2) поиск одинаковых ветвей условных операторов if-else, switch, 3) поиск бесконечных циклов, 4) поиск вызовов с перепутанными фактическими и формальными параметрами.