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