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