Статический анализатор MPI-программ

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

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

Программа предназначена для поиска ошибок, обусловленных некорректным использованием функций MPI-стандарта, в параллельных программах методом статического анализа. Программа осуществляет поиск в программе пользователя элементов, совпадающих с ситуациями, которые описаны в шаблонах ошибочного поведения. Пользователь имеет возможность создавать и модифицировать файлы шаблонов. Основной функционал программы заключается в сопоставлении вызываемых MPI-функций и их параметров с шаблонными ситуациями в результате чего происходит формирование файла найденных соответствий. Анализатор может быть использован исследователями для проверки своих программ перед их загрузкой на вычислительный кластер.