Моя корзина

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

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

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

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

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

277232119

607864810

SkypeSkype MSSoft.Ru

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

все контакты

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

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

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

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

Новости в мире софта Акция Смарт-Софт "Защищаем Next Generation"

С 1 июня по 30 июня 2020 Смарт-Софт предлагает специальные условия на покупку комплексных решений по информационной безопасности для заказчиков из сферы образования.

Специальная акция от Embarcadero на обновление имеющихся лицензий предыдущих версий

Только до 30 июня 2020 года все владельцы предыдущих версий Delphi, C++Builder и RAD Studio могут обновить имеющуюся лицензию до современной версии со скидкой 30%.

Акция от компании Corel на академические лицензии CASL

С 14 мая по 31 августа 2020 года все покупатели академических лицензий Corel Academic Site License (CASL) получают дополнительную скидку 10% для лицензий CASL Level 2, а для лицензий Level 3 скидка составит уже 20%.

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

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

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