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