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