Можно задать опции анализа, чтобы изменить поведение по умолчанию Polyspace, когда Вы Кодируете. Общие опции, такие как средства проверки доступны посредством настроек расширения IDE. Если вы не можете найти, что установка в вашем расширении IDE настраивает анализ, ищет аналитическую опцию механизма и задает опцию в файле опций. Затем задайте файл опций в своих настройках расширения IDE.
Обычно необходимые действия настройки анализируют сборку, устанавливая средства проверки и результаты определения исходного состояния. Для каждого из этих действий вы задаете соответствующую установку расширения IDE и затем выполняете дополнительный шаг до рабочего Polyspace, когда Вы Кодируете. Например:
Анализ сборки: В ваших настройках IDE вы задаете, где получить информацию о сборке, и затем запустить анализ сборки до фактических запусков.
Установка средств проверки: До рабочего Polyspace, когда Вы Кодируете, вы задаете средства проверки в окне выбора средств проверки и сохраняете их в конфигурационном файле. В ваших настройках IDE вы задаете путь к этому файлу.
Определение исходного состояния: В ваших настройках IDE вы задаете проект Access Polyspace использовать в качестве базовой линии, и затем загрузить базовую информацию до фактических запусков.
