Эта тема описывает, как запустить анализ в пользовательском интерфейсе Polyspace®, прогрессе монитора, устранить проблемы компиляции и открыть результаты анализа как доступные.
После того, как вы зададите свои исходные файлы и компилятор, запустите анализ Polyspace. Во время анализа Polyspace сначала компилирует ваш код, и затем проверяет на ошибки (Средство поиска Ошибки) или доказывает корректность кода (Программа автоматического доказательства Кода). Если вы сталкиваетесь с ошибками компиляции, считайте сообщение об ошибке и диагностируйте первопричину ошибки. Чтобы разрешить ошибки, часто необходимо устанавливать некоторые параметры конфигурации Polyspace и повторно выполнять анализ.
Чтобы настроить удобное распределение окон, в пользовательском интерфейсе Polyspace, выбирают Window> Reset Layout> Project Setup.
Чтобы переключить продукты или создать отдельную папку для каждого выполнения, выберите опции из выпадающего списка около кнопки Run. Например, чтобы не перезаписывать предыдущие результаты каждый раз, когда вы запускаете Средство поиска Ошибки, выбирает Create new Bug Finder result folder.
Результаты хранятся в подпапках Module_1, Module_2, и так далее в папке проекта. Чтобы найти физическое местоположение папки проекта, щелкните правой кнопкой по проекту по Project Browser, разделяют на области и выбирают Open Folder with File Manager.
Чтобы использовать различное соглашение о присвоении имен папки или различное место хранения для результатов, выберите Tools> Preferences и используйте опции на вкладке Project and Results Folder.
Если ваш проект имеет несколько модулей, выберите модуль, который вы хотите анализировать. Чтобы запустить анализ, выберите Run Bug Finder или Run Code Prover. Контролируйте достижения по панели Output Summary.
Средство поиска ошибки: Вы видите некоторые результаты после частичного анализа, потому что определенные дефектные средства проверки не нуждаются в межфункциональной информации и могут показать результаты, как только функция анализируется. Если результаты доступны, в то время как анализ все еще запускается, вы видите этот значок около кнопки Run Bug Finder:
Значок указывает на количество доступных результатов. Чтобы открыть результаты, кликните по значку. Если анализ закончен, метка Running в изменениях значка в Completed. Чтобы перезагрузить полный набор результатов, кликните по значку снова.
Программа автоматического доказательства кода: Вы видите результаты только после того, как анализ будет завершен. Программа автоматического доказательства кода, более вероятно, сообщит об ошибках компиляции, потому что она делает более строгий анализ и должна следовать более строгим правилам для компиляции. Индикатор выполнения различает различные фазы анализа, начинающего с компиляции.
Если ошибки компиляции происходят, анализ продвигается остающиеся файлы, которые действительно компилируют. Панель Dashboard показывает, что некоторые файлы не скомпилировали и ссылки на панель Output Summary для деталей. Панель Output Summary показывает ошибки компиляции со
значком.
Для дальнейшего диагноза выберите сообщение об ошибке для получения дополнительной информации. Идентифицируйте строку в своем коде, ответственном за ошибку компиляции. Можно использовать детали сообщения об ошибке, чтобы понять, почему строка скомпилировала с компилятором и чего Polyspace дополнительной информации требует, чтобы эмулировать компилятор. Смотрите, можно ли работать вокруг ошибки при помощи опции Polyspace. Для получения дополнительной информации смотрите Ошибки компиляции Поиска и устранения неисправностей.
Для более точной ошибки времени выполнения, регистрируясь в Программе автоматического доказательства Кода, рекомендуется, чтобы вы зафиксировали все ошибки компиляции. Используйте опцию Stop analysis if a file does not compile (-stop-if-compile-error).
После анализа результаты открываются автоматически. Чтобы открыть результаты, которые вы закрыли, дважды кликните узел результата на панели Project Browser.
Средство поиска Ошибки (Программа автоматического доказательства Кода) результаты хранится в .psbf (.pscp) файл в папке результатов. Например, если вы сохраняете свой проект в C:\Projects\, файле .psbf для результатов анализа Средства поиска Ошибки на первом модуле, Module_1 хранится в C:\Projects\Module_1\BF_Result. См. также Содержание папки Результатов и Проект.
