Моя корзина

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

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

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

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

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

391483722

607864810

356875927

SkypeSkype MSSoft.Ru

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

все контакты

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

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

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

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

Новости в мире софта Войди в мир Autodesk. Промо-акция «AutoCAD LT со скидкой 20%»!

Компания Autodesk запустила промо-акцию «AutoCAD LT со скидкой 20%» до 20 января 2018 года.

Скидка 40% на решение ESET Secure Authentication

С 3 ноября по 31 декабря 2017 года ESET предлагает специальные условия для компаний, которые планируют приобрести решения для защиты рабочих станций и безопасного доступа к корпоративной информации.

Две лицензии по цене одной на комплексное восстановление данных Hetman Software

С 1 ноября по 31 декабря 2017 года при покупке одной офисной или коммерческой лицензии Hetman Software пользователь получит вторую бесплатно!

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

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

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