Зафиксируйте ошибки недостаточно памяти во время генерации отчета Polyspace
Диагностируйте из ошибок памяти во время генерации отчета.
Диагностируйте, почему кодирующие стандартные нарушения не появляются как ожидалось
Диагностируйте, почему нарушение правила кодирования не отмечается, как вы ожидаете.
Зафиксируйте ошибки, применяющие пользовательский формат аннотации для результатов Polyspace
Диагностируйте ошибки при применении аннотаций пользовательского кода к результатам Polyspace.
Диагностируйте навигацию от кода до модели
Диагностируйте проблемы, перешедшие от сгенерированного кода C/C++ до соответствующих блоков в Simulink® модель.
Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace
Учитесь что MathWorks® Техническая поддержка должна от вас диагностировать проблему.