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