Чтобы связаться с MathWorks® Служба технической поддержки, используйте эту страницу. Вам нужен логин MathWorks Account и пароль. Для более быстрого оборота с проблемой в Polyspace®, помимо необходимой системной информации, предоставьте соответствующий код, который воспроизводит проблему или файл журнала верификации.
При вводе запроса на поддержку сообщите следующую системную информацию:
Аппаратное строение
Операционная система
Polyspace и MATLAB® номера лицензий
Конкретные номера версий для продуктов Polyspace
Установленные закрашенные фигуры Bug Report
Чтобы получить информацию о строении, выполните одно из следующих действий:
В пользовательском интерфейсе Polyspace выберите Help > About.
В командной строке выполните следующую команду, заменив polyspaceroot
UNIX® — polyspaceroot/ polyspace/bin/polyspace-code-prover -ver
Windows® — polyspaceroot\ polyspace\bin\polyspace-code-prover -ver
В зависимости от проблемы, предоставьте соответствующие программные продукты, чтобы помочь технической поддержке понять и воспроизвести проблему.
Если вы столкнулись с проблемами компиляции в проекте, см. Раздел «Поиск и устранение ошибок компиляции». Если у вас все еще есть проблемы, обратитесь в службу технической поддержки со следующей информацией:
Журнал анализа.
Журнал анализа является текстовым файлом, сгенерированным в вашей папке результатов и названным Polyspace_<reservedrangesplaceholder0 >_ project_ date_ time.log
Исходные файлы, связанные с ошибкой компиляции или полной папкой результатов, если это возможно.
Если вы не можете предоставить исходные файлы:
Попытайтесь предоставить скриншот исходной секции кода, вызывающего проблему компиляции.
Попытайтесь воспроизвести проблему с другим кодом. Предоставить этот код технической поддержке.
Если при создании проекта из системы сборки возникают ошибки, см. раздел «Поиск и устранение проблем с созданием проекта».
Если у вас все еще есть проблемы, обратитесь в службу технической поддержки с информацией о отладке. Для предоставления отладки информации:
Управляемый polyspace-configure в командной строке с опцией -easy-debug. Для образца:
polyspace-configure options -easy-debug pathToFolder buildCommand
Здесь:
optionspolyspace-configure опции, которые вы обычно используете.
buildCommandmake.
pathToFolderC:\Temp\BuildLogs. После polyspace-configure run, указанный путь содержит zipped файл, заканчивающийся на pscfg-output.zip. Zipped-файл содержит только отладка информацию и не содержит исходных файлов, прослеживаемых в сборке.
Убедитесь, что вы не используете эту опцию -verbose или -silent после -easy-debug. Эти опции сокращают или изменяют записанную информацию и могут затруднить отладку.
Отправить заархивированный файл, заканчивающийся pscfg-output.zip в службу технической поддержки MathWorks для дальнейшей отладки.
Вы также можете создать zipped файл с отладочной информацией во время каждого polyspace-configure выполнение путем создания переменного окружения PS_CONFIGURE_OPTIONS и установка его значения на:
-easy-debug pathToFolder
pathToFolder
Если у вас возникли проблемы с пониманием результата, см. Polyspace Bug Finder Results.
Если у вас все еще возникают проблемы с пониманием результата, обратитесь в службу технической поддержки со следующей информацией:
Журнал анализа.
Журнал анализа является текстовым файлом, сгенерированным в вашей папке результатов и названным Polyspace_<reservedrangesplaceholder0 >_ project_ date_ time.log
Исходные файлы, связанные с результатом, или полная папка результатов, если это возможно.
Если вы не можете предоставить исходные файлы:
Попробуйте предоставить скриншот соответствующего исходного кода из панели Source пользовательского интерфейса Polyspace.
Попытайтесь воспроизвести проблему с другим кодом. Предоставить этот код технической поддержке.