Укажите, что аналитическое задание должно быть повторно представлено без перекомпиляции
-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
.
Укажите, что удаленный анализ с компиляцией следует из предыдущего анализа:
Средство поиска ошибки:
polyspace-bug-finder -batch -scheduler localhost -submit-job-from-previous-compilation-results
Программа автоматического доказательства кода:
polyspace-code-prover -batch -scheduler localhost -submit-job-from-previous-compilation-results