Укажите, что задание анализа должно быть повторно отправлено без перекомпиляции
-submit-job-from-previous-compilation-results
-submit-job-from-previous-compilation-results задает, что Polyspace® анализ должен начаться после фазы компиляции с результатами компиляции из предыдущего анализа. Опция в первую очередь полезна при разгрузке анализа Polyspace с рабочих столов на удаленные серверы. Если удаленный анализ останавливается после компиляции, для образца из-за проблем со связью между сервером и клиентскими компьютерами используйте эту опцию. Обратите внимание, что эта опция используется с командами в продуктах для настольных ПК (polyspace-bug-finder и polyspace-code-prover) и не команды в серверных продуктах (polyspace-bug-finder-server (Polyspace Bug Finder Server) и polyspace-code-prover-server (Polyspace Code Prover Server)).
При выполнении удаленного анализа:
На локальном хосте-компьютере программное обеспечение Polyspace выполняет компиляцию кода и проверку правил кодирования.
Затем задание анализа передается в MATLAB® планировщик заданий на главном узле кластера MATLAB Parallel Server™.
Главный узел кластера MATLAB Parallel Server присваивает выполнение задач верификации рабочему узлу, где происходят оставшиеся фазы анализа Polyspace.
Если анализ останавливается после завершения первого шага и вы перезапускаете анализ, используйте эту опцию, чтобы повторно использовать результаты компиляции из предыдущего анализа. Таким образом, вы избегаете перезапуска анализа с фазы компиляции.
Если результаты предыдущей компиляции не существуют в текущей папке, возникает ошибка. Удалите опцию и перезапустите анализ из фазы компиляции.
Если анализ запускается из пользовательского интерфейса (только для десктопных продуктов Polyspace), на панели Configuration можно ввести эту опцию в поле Other. См. Other.
Укажите удаленный анализ с результатами компиляции из предыдущего анализа:
Bug Finder:
polyspace-bug-finder -batch -scheduler localhost -submit-job-from-previous-compilation-results
Code Prover:
polyspace-code-prover -batch -scheduler localhost -submit-job-from-previous-compilation-results
Вы не можете отправить задания анализа в удаленный кластер с Polyspace в качестве кода.
