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