Моя корзина

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

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

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

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

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

277232119

607864810

SkypeSkype MSSoft.Ru

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

все контакты

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

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

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

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

Новости в мире софта Изменение режима работы группы компаний 1C-MSSOFT.RU 28.03-05.04.2020г.

В связи с постановлением Правительства Санкт-Петербурга №161 от 26.03.2020 "О внесении изменений в постановление Правительства Санкт-Петербурга от 13.03.2020 №121" изменяется режим работы группы компаний 1C-MSSOFT.RU в период с 28 марта по 5 апреля 2020г.

Акция от компании Eset для малого бизнеса - SMB миграция за полцены!

С 24 марта по 30 июня 2020 года компания Eset предлагает специальные условия для малого бизнеса при осуществлении миграции с аналогичного решения другого производителя на решения ESET NOD32.

Скидки до 25% на при покупке лицензий «Стахановец: Полный контроль» и «Стахановец: Про»

Специальное предложение от компании «Стахановец» - скидки от 10% до 25% при покупке лицензий «Стахановец: Полный контроль» и «Стахановец: Про»

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

Читайте отзывы покупателей и оценивайте качество магазина 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 специализируется на разработке программного обеспечения в области численных вычислений и компьютерного моделирования.

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