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