Exponenta Banner

Сконфигурируйте и запущенный анализ

Контрольный код для ошибок времени выполнения от пользовательского интерфейса Polyspace®, командной строки или других сред разработки

Проверяйте код C/C++ на ошибки времени выполнения или кодирующий нарушения правила. Вы можете:

  • Контрольный код во время разработки, в пользовательском интерфейсе Polyspace или скриптах использования.

  • Автоматизированное расписание проверяет удаленный кластер.

  • Контрольный код сгенерирован из кода MATLAB® или моделей Simulink® как часть рабочего процесса генерации кода.

  • Контрольный код из IDE, такого как Eclipse™.

Документация Polyspace Code Prover
Поддержка