Проверяйте код C/C++ на ошибки времени выполнения или кодирующий нарушения правила. Вы можете:
Контрольный код во время разработки, в пользовательском интерфейсе Polyspace или скриптах использования.
Автоматизированное расписание проверяет удаленный кластер.
Контрольный код сгенерирован из кода MATLAB® или моделей Simulink® как часть рабочего процесса генерации кода.
Контрольный код из IDE, такого как Eclipse™.
