Exponenta Banner

pslinkoptions

Создайте объект опций настроить запуски Polyspace из командной строки MATLAB

свернуть все на странице

Синтаксис

opts = pslinkoptions(codegen)
opts = pslinkoptions(model)
opts = pslinkoptions(sfunc)

Описание

пример

opts = pslinkoptions(codegen) возвращает объект опций с параметрами конфигурации для кода, сгенерированного codegen.

пример

opts = pslinkoptions(model) возвращает объект опций с параметрами конфигурации для модели Simulink®.

opts = pslinkoptions(sfunc) возвращает объект опций с параметрами конфигурации для S-функции.

Примечание

Прежде чем вы запустите Polyspace® от MATLAB®, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Примеры

свернуть все

Загрузите psdemo_model_link_sl и создайте объект опций Polyspace® из модели:

load_system('psdemo_model_link_sl');
model_opt = pslinkoptions('psdemo_model_link_sl')
model_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfig'
           OpenProjectManager: 1
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'All'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 0
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'

Модель уже сконфигурирована для Embedded Coder®, поэтому только параметры конфигурации Embedded Coder появляются.

Измените опцию имени папки результатов и установите OpenProjectManager к истине.

model_opt.ResultDir = 'results_v1_$ModelName$';
model_opt.OpenProjectManager = true
model_opt =

                    ResultDir: 'results_v1_$ModelName$'
         VerificationSettings: 'PrjConfig'
           OpenProjectManager: 1
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'All'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 0
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'

Создайте объект опций Polyspace®, названный new_opt параметрами Embedded Coder®: 

new_opt = pslinkoptions('ec')
new_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfig'
           OpenProjectManager: 0
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'Current model only'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 1
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'

Чтобы следовать за прогрессом интерфейса Polyspace, установите OpenProjectManager опция к истине. Измените настройку, чтобы проверять на обе проверки и MISRA C® 2012, кодирующий нарушения правила: 

new_opt.OpenProjectManager = true;
new_opt.VerificationSettings = 'PrjConfigAndMisraC2012'
new_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfigAndMisraC2012'
           OpenProjectManager: 1
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'Current model only'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 1
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'

Создайте объект опций Polyspace®, названный new_opt параметрами TargetLink®: 

new_opt = pslinkoptions('tl')
new_opt =

                   ResultDir: 'results_$ModelName$'
        VerificationSettings: 'PrjConfig'
          OpenProjectManager: 0
        AddSuffixToResultDir: 0
    EnableAdditionalFileList: 0
          AdditionalFileList: {}
            VerificationMode: 'CodeProver'
         EnablePrjConfigFile: 0
               PrjConfigFile: ''
        AddToSimulinkProject: 0
              InputRangeMode: 'DesignMinMax'
              ParamRangeMode: 'None'
             OutputRangeMode: 'None'
                 AutoStubLUT: 1

Установите OpenProjectManager опция к истине, чтобы следовать за прогрессом интерфейса Polyspace. Также измените настройку, чтобы проверять на обе ошибки времени выполнения и MISRA C®, кодирующий нарушения правила: 

new_opt.OpenProjectManager = true;
new_opt.VerificationSettings = 'PrjConfigAndMisra'
new_opt =

                   ResultDir: 'results_$ModelName$'
        VerificationSettings: 'PrjConfigAndMisra'
          OpenProjectManager: 1
        AddSuffixToResultDir: 0
    EnableAdditionalFileList: 0
          AdditionalFileList: {}
            VerificationMode: 'CodeProver'
         EnablePrjConfigFile: 0
               PrjConfigFile: ''
        AddToSimulinkProject: 0
              InputRangeMode: 'DesignMinMax'
              ParamRangeMode: 'None'
             OutputRangeMode: 'None'
                 AutoStubLUT: 1

Входные параметры

свернуть все

Генератор кода, заданный как любой 'ec' для Embedded Coder или 'tl' для TargetLink®. Каждый аргумент создает объект опций Polyspace со свойствами, характерными для того генератора кода.

Для описания всех параметров конфигурации и их значений, см. pslinkoptions Свойства.

Пример: ec_opt = pslinkoptions('ec')

Пример: tl_opt = pslinkoptions('tl')

Типы данных: char

Модель Simulink, заданная именем модели. Создает объект опций Polyspace с параметрами конфигурации той модели. Если вы не установили опций, объект имеет параметры конфигурации по умолчанию. Если вы установили генератор кода, объект имеет опции по умолчанию для того генератора кода.

Для описания всех параметров конфигурации и их значений, см. pslinkoptions Свойства.

Пример: model_opt = pslinkoptions('my_model')

Типы данных: char

Путь к S-функции, заданной как вектор символов. Создает объект опций Polyspace с параметрами конфигурации для S-функции. Если вы не установили опций, объект имеет параметры конфигурации по умолчанию.

Для описания всех параметров конфигурации и их значений, см. pslinkoptions Свойства.

Пример: sfunc_opt = pslinkoptions('path/to/sfunction')

Типы данных: char

Выходные аргументы

свернуть все

Параметры конфигурации Polyspace, возвращенные как объект опций. Объект используется с pslinkrun запускать Polyspace из командной строки MATLAB.

Для списка свойств объектов см. pslinkoptions Свойства.

Пример: opts = pslinkoptions ('ЕС')
opts. VerificationSettings = 'Misra'

Смотрите также

|

Темы

Представленный в R2012a

Документация Polyspace Code Prover
Поддержка