Шаблон строения является предопределенным набором опций анализа для определенного окружения компиляции.
Используйте шаблоны, чтобы упростить настройку проекта. Например, после настройки проекта для определенного окружения компиляции можно создать шаблон вне строения. Используя шаблон, можно повторно использовать строение для проектов с тем же окружением компиляции.
При создании нового проекта можно выполнить одно из следующих действий:
Используйте существующий шаблон, чтобы автоматически задать опции анализа для компилятора.
Polyspace® программное обеспечение предоставляет предопределенные шаблоны для общих компиляторов, таких как IAR, Kiel, Visual и VxWorks. Дополнительные шаблоны см. в разделе Шаблоны компилятора Polyspace.
Установите опции анализа вручную. Затем можно сохранить опции как шаблон и повторно использовать их позже. Можно также делиться шаблоном с другими пользователями и обеспечивать последовательное использование Polyspace Bug Finder™ в организации.
Выберите File > New Project.
В диалоговом окне Project - свойства после определения имени и местоположения проекта под Project configuration выберите Use template.
На следующем экране выберите шаблон, соответствующий вашему компилятору. Для получения дополнительной информации о шаблоне выберите шаблон и просмотрите Description столбец справа.
Если компилятор не отображается в списке предопределенных шаблонов, выберите Baseline_C или Baseline_C++.
На следующем экране добавьте исходные файлы и включите папки.
В этом примере показано, как сохранить строение из существующего проекта и создать новый проект с помощью сохранённому строению.
Чтобы создать шаблон из проекта, открытого на панели Project Browser:
Щелкните правой кнопкой мыши строение проекта, которую вы хотите использовать, и выберите Save As Template.
Введите описание шаблона и нажмите кнопку Proceed. Сохраните файл шаблона.
Предположим, что вы создаете шаблон строения Code Prover, который запускает анализ Code Prover до уровня точности 1 и уровня верификации 1. См.:
Это описание можно ввести для шаблона.
Когда вы создаете новый проект, использовать сохраненный шаблон:
Выберите.
Перейдите к сохраненному ранее шаблону и нажмите кнопку Open. Новый шаблон появится в папке Custom templates в браузере Templates. Выберите шаблон для использования.
