Уменьшайте использование памяти и время, потраченное анализом Polyspace
Уменьшайте размер приложения или сложность верификации систематически, если верификация вашей полной кодовой базы занимает слишком много времени.
Постройте анализ Polyspace из модулей при помощи команды сборки
Создайте отдельный файл опций Polyspace® для каждого двоичного файла в команде сборки.
Запустите Polyspace на коде AUTOSAR
Реализация контрольного кода компонентов программного обеспечения AUTOSAR для ошибок времени выполнения или нарушения ограничений данных ARXML.
Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace
Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.
