Набор детекторов ошибок в программах на языке С# инструмента статического анализа "SharpChecker"
Семенов Виталий Адольфович
14 сентября 2018
298
| Предметная область | — |
| Отрасли по ОКВЭД | — |
| Страна, регион, город | Российская Федерация, Москва |
| Отличия от конкурентов | — |
| Вид документа об охране ИС | программа для ЭВМ |
| Номер документа ИС | 201761052 |
| Дата регистрации документа ИС | 2017-01-12 |
| Необходимые инвестиции для внедрения | договорная |
| Сроки внедрения | — |
| Стоимость предоставления технологии | договорная |
| Наличие экспертного заключения | Нет |
Польза для потенциального потребителя
Программа является частью инструмента статического анализа SharpChecker. Данный анализатор применяется при разработке ПО для повышения его качества и снижения стоимости разработки из-за возможности раннего исправления ошибок. Программа содержит следующие детекторы: 1) поиск ошибок копирования-вставки (cope-paste error), 2) поиск одинаковых ветвей условных операторов if-else, switch, 3) поиск бесконечных циклов, 4) поиск вызовов с перепутанными фактическими и формальными параметрами.