Моя корзина

корзина пуста

 
или войти как пользователь:

регистрация, напомнить пароль

Войти как пользователь
Вы можете войти на сайт, если вы зарегистрированы на одном из этих сервисов:
Консультации

Помощь в выборе программного обеспечения

391483722

607864810

356875927

SkypeSkype MSSoft.Ru

Электронная почта
info@mssoft.ru

все контакты

Способы оплаты

Банковские карты VISA/MasterCardЯндекс.ДеньгиWebMoney

Наличный расчетБезналичный расчет

все способы оплаты

Новости в мире софта Скидка 20% на годовую подписку CorelDRAW

В период с 15 сентября по 30 ноября 2017 года годовая подписка CorelDRAW Graphics Suite продается со скидкой 20% от действующего прайс-листа.

Три года по цене двух от Kerio!

Всем заказчикам, чьи лицензии истекают в период с 1 августа по 31 октября, при продлении лицензий Kerio на два года - третий год в подарок!

NANO Антивирус Pro – скидка 40% при переходе с антивирусных решений других производителей!

В рамках льготного перехода на NANO Антивирус Pro пользователям других антивирусных программ предоставляется скидка 40% от стандартной цены.

Новости программного обеспечения

Читайте отзывы покупателей и оценивайте качество магазина mssoft.ru на Яндекс.Маркете

Polyspace

Производитель: MathWorks




варианты и цены
Спросить о лицензионном софте
Polyspace представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде.
Polyspace Client for C/C++ представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде. Для верификации используется статический анализатор кода, который не требует исполнения кода и разработки тестов. Polyspace client for C/C++ использует метод абстрактной интерпретации для верификации кода. Вы можете проверять автоматически сгенерированный код, написанный разработчиками или комбинации обоих вариантов перед компиляцией, запуском кода и тестирование функционала.

Ключевые особенности:

  • Верификация на уровне классов или файлов
  • Используется метод абстрактной интерпретации
  • Ошибки исполнения показываются непосредственно в коде
  • Проверка на соответствие кода MISRA-C:2004, MISRA-C++:2008, JSF++. Несоответствия также указываются непосредственно в коде
  • Вывод различных статистик о качестве и сложности кода
  • Интеграция с Eclipse и Microsoft Visual Studio

Polyspace Server™ for C/C++ представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде. Для более производительных (с точки зрения скорости) верификаций, Polyspace Server™ for C/C++ позволяет запускать задачи верификации на вычислительном кластере. Задачи передаются на сервер с клиентской части Polyspace - Polyspace Client for C/C++. Вы можете отправлять задачи на сервер для автономного запуска и получать e-mail уведомления по окончании задач. Ознакомиться с различными метриками кода, списком ошибок и прочей статистикой вы может с помощью Web браузера. После окончании верификации Вы сможете загрузить результаты обратно в клиентскую часть Polyspace.

Ключевые особенности:

  • Доступ к статусу верификации и метрикам через Web браузер
  • Автоматическое планирование задач на кластере и уведомления по e-mail
  • Собственный планировщик задач
  • Поддержка многоядерных кластеров
  • Автоматическое создание отчетов
  • Одновременная работа в различных ОС

Polyspace® Model Link™ SL расширяет возможности Polyspace Client for C/C++ и Polyspace Server™ for C/C++ инструментами, позволяющими передавать сгенерированный С код напрямую из Simulink моделей. В результате, Вы сможете понять, какие части Ваших моделей являются надежными, а также исправить те части моделей, которые приводят к ошибкам исполнения в коде. С помощью Polyspace® Model Link™ SL, вы работаете в Simulink чтобы проверять С код, сгенерированный с помощью Embedded Coder. Таким образом вы проверяете и исправляете сгенерированный и ручной код до его компиляции.

Ключевые особенности:

  • Используются передовые методы верификации кода
  • Обрабатывается весь спектр значений переменных Вашего кода
  • Передает результаты верификации обратно в Simulink модель
  • Проверки запускаются из Simulink или командной строки MATLAB

Цена на Polyspace предоставляются по запросу.



Варианты и цены на Polyspace



Варианты поставки и цены вы можете узнать у наших менеджеров.


— в наличии в большом количестве; — в наличии в ограниченном количестве; — в наличии в малом количестве; — по предоплате, срок поставки 1-5 рабочих дней; — по предоплате, срок поставки 1-3 недели; — по предоплате, срок поставки уточняйте у менеджеров; — отсутствует на складе, возможна поставка под заказ по предоплате.


О производителе
Компания The MathWorks специализируется на разработке программного обеспечения в области численных вычислений и компьютерного моделирования.

О компании, Все продукты