Статический анализатор MPI-программ
Боровикова Анастасия Павловна
14 сентября 2018
550
| Предметная область | |
| Отрасли по ОКВЭД | |
| Страна, регион, город | Российская Федерация, Кемеровская область, Кемерово |
| Отличия от конкурентов | Анализатор может быть использован исследователями для проверки своих программ перед их загрузкой на вычислительный кластер. |
| Вид документа об охране ИС | программа для ЭВМ |
| Номер документа ИС | 201766033 |
| Дата регистрации документа ИС | 2017-09-21 |
| Необходимые инвестиции для внедрения | договорная |
| Сроки внедрения | — |
| Стоимость предоставления технологии | от 51 000 руб. |
| Наличие экспертного заключения | Есть |
Польза для потенциального потребителя
Программа предназначена для поиска ошибок, обусловленных некорректным использованием функций MPI-стандарта, в параллельных программах методом статического анализа. Программа осуществляет поиск в программе пользователя элементов, совпадающих с ситуациями, которые описаны в шаблонах ошибочного поведения. Пользователь имеет возможность создавать и модифицировать файлы шаблонов. Основной функционал программы заключается в сопоставлении вызываемых MPI-функций и их параметров с шаблонными ситуациями в результате чего происходит формирование файла найденных соответствий. Анализатор может быть использован исследователями для проверки своих программ перед их загрузкой на вычислительный кластер.