Эта тема описывает, как сконфигурировать Polyspace, когда Вы Кодируете плагин в Eclipse™. Для десктопных решений Polyspace, таких как Polyspace Bug Finder, смотрите Анализ Bug Finder На основе Проектов Eclipse.
Можно проверять на различные типы дефектов и кодирующий нарушения правила при помощи Polyspace® когда Вы Кодируете в Eclipse. См. Стандарты Кодирования и Дефекты. Анализ по умолчанию проверяет на подмножество дефектов. Смотрите Средства проверки Дефектов Polyspace Bug Finder, Enabled по умолчанию. Чтобы проверять на дефекты не по умолчанию и кодирующий нарушения правила, сконфигурируйте Polyspace как Вас Расширение кода в вашем IDE.
Чтобы сконфигурировать средства проверки, создайте файл средств проверки, и затем задайте файл средств проверки в окне Configure Project. Для эквивалентных рабочих процессов в рабочем столе Polyspace и сервере, смотрите, Готовят Настройку Средств проверки к Анализу Polyspace Bug Finder.
Чтобы выбрать средства проверки правила кодирования и дефектные средства проверки не по умолчанию, нажмите Polyspace> Configure Project. Сконфигурируйте выбор средства проверки в окне Configure Project.
Создайте новый выбор или измените существующий выбор средств проверки и кодирующих правил в окне выбора Средства проверки. Сохраните новую настройку в допускающем повторное использование файле средств проверки.
В окне Configure Project откройте окно Checkers Selection путем нажатия
.
Чтобы создать новый выбор, в окне Checkers Selection, выбирают дефект и средства проверки правила кодирования, которые вы хотите активировать. Чтобы изменить существующий выбор, нажмите Browse, перейдите к существующему файлу средств проверки и затем измените выбор средств проверки.
Можно также выбрать предопределенные категории дефектных средств проверки, такие как All, Default, High, Medium, Low и CWE. SeeClassification Дефектов Ударом. Точно так же можно активировать предопределенный набор кодирования правил, которые заданы их соответствующими стандартами.
При выборе Guidelines> средства проверки Software Complexity, рассмотрите их пороги. Если пороги по умолчанию не приемлемы, задают подходящий порог в столбце Threshold. Смотрите Check guidelines (-guidelines).
При выборе правил Custom рассмотрите Pattern и Convention для правил. Смотрите Check custom rules (-custom-rules).
Сохраните выбор как допускающий повторное использование XML-файл средств проверки путем нажатия на Save Changes. После того, как вы нажмете Finish, путь к новому XML-файлу средств проверки задан в поле Checkers file в окне Configure Project.
Можно импортировать средства проверки и кодирующий настройку правила из проекта рабочего стола Polyspace (*.psprj) файл. В окне Configure Project нажмите Import options from Polyspace desktop project (*.psprj). Просмотрите к папке, содержащей файл проекта, и задайте файл проекта. Настройка средств проверки в настольном проекте извлечена как файл средств проверки, который задан в поле Checkers file. Опции анализа настольного проекта извлечены как файл опций, который задан в поле Analysis options file.
Чтобы изменить поведение по умолчанию средств проверки дефекта Bug Finder и кодирующих правил, используйте опции анализа. Для списка опций анализа, которые изменяют поведение средства проверки по умолчанию, смотрите, Изменяют Поведение По умолчанию Средств проверки Bug Finder.
Чтобы задать опции анализа в Polyspace как, Вы Кодируете:
Добавьте опции анализа в файле опций, заданном в поле Analysis options file. Файл опций является текстовым файлом с одной опцией анализа для каждой линии. Например, чтобы добавить опции анализа -code-behavior-specifications и Effective boolean types (-boolean-types), в файле опций добавьте эти линии:
-code-behavior-specifications file1 -boolean-types boolean1_t,boolean2_t
Если вы не имеете файла опции, создаете файл опции, который содержит необходимые опции. Задайте путь к новому файлу опций в поле Analysis options file. Смотрите Файлы Опций для Анализа Polyspace.
