この例では、Embedded Coder を使用して生成されたコードの解析に適した汎用 Polyspace オプションオブジェクトを作成する方法を示します。このオプションオブジェクトには、適切な Embedded Coder パラメーターが事前に設定されます。汎用解析を変更するにはオプションオブジェクトを編集します。

関数 pslinkoptions に入力引数として 'ec' を指定して呼び出すことにより、新しい Polyspace 構成オブジェクト new_opt を作成します。

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'
        VerifAllSFcnInstances: 0

既定では、このオプションオブジェクトは Polyspace プロジェクトで指定した検証設定と同じ設定を使用します。プロジェクトで指定した既存の検証に加えて MISRA C® 2012 コーディングルール違反をチェックするには、MATLAB コマンドラインで次のコードを実行します。

new_opt.VerificationSettings = 'PrjConfigAndMisraC2012'

new_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfigAndMisraC2012'
           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'
        VerifAllSFcnInstances: 0

生成されたコードの Polyspace 解析を開始する際には、Polyspace ユーザーインターフェイスを開いて、解析の進捗状況と解析結果を確認することをお勧めします。解析を開始するときに Polyspace インターフェイスを開くには、次のコードを実行します。

new_opt.OpenProjectManager = true

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'
        VerifAllSFcnInstances: 0

Polyspace 構成を変更するためのオプションオブジェクトの作成と編集

この例では次を使用します。

Simulink Simulink

ライブスクリプトを開く

この例では、Simulink モデルの Polyspace 構成をオブジェクトに保存し、そのオブジェクトを使用して構成オプションを編集する方法を示します。

モデル closed_loop_control を読み込みます。

load_system('closed_loop_control');

モデルの Polyspace 構成を含むオブジェクトを作成するには、pslinkoptions を呼び出します。

model_opt = pslinkoptions('closed_loop_control')

model_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfig'
           OpenProjectManager: 0
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'BugFinder'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'Current model only'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 1
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'
        VerifAllSFcnInstances: 0
           ModelRefIgnoreList: []
     EnableModelRefIgnoreList: 0
          ModelRefMinMaxVerif: 'CheckAndConstrain'

モデルは既に Embedded Coder® 用に構成されているので、Embedded Coder 構成オプションのみがオブジェクト model_opt のフィールドとして表示されます。

Polyspace 構成オプションを変更するには、model_opt の対応するフィールドを設定します。たとえば、結果ディレクトリを変更する場合は model_opt.ResultDir フィールドを変更し、検証モードを CodeProver に設定する場合は model_opt.VerificationMode フィールドを変更します。

model_opt.ResultDir = 'results_v1_$ModelName$';
model_opt.VerificationMode = 'CodeProver'

model_opt =

                    ResultDir: 'results_v1_$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'
        VerifAllSFcnInstances: 0
           ModelRefIgnoreList: []
     EnableModelRefIgnoreList: 0
          ModelRefMinMaxVerif: 'CheckAndConstrain'

コマンドラインにおける TargetLink のオプションオブジェクトの作成と編集

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 オプションを true に設定して、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

入力引数

すべて折りたたむ

`codegen` — コードジェネレーター
`'ec'` | `'tl'`

コードジェネレーター。'ec' (Embedded Coder^® の場合) または 'tl' (TargetLink^® の場合) として指定します。各引数はコードジェネレーターに固有のプロパティを指定して Polyspace オプションオブジェクトを作成します。

すべての構成オプションとその値の詳細は、pslinkoptions のプロパティを参照してください。

例: ec_opt = pslinkoptions('ec')

例: tl_opt = pslinkoptions('tl')

データ型: char

`model` — Simulink モデル名
モデル名

モデル名で指定される Simulink モデル。そのモデルの構成オプションを指定して Polyspace オプションオブジェクトを作成します。オプションが設定されていない場合、オブジェクトは既定の構成オプションをもちます。コードジェネレーターが設定されると、オブジェクトはそのコードジェネレーター用の既定のオプションをもちます。

すべての構成オプションとその値の詳細は、pslinkoptions のプロパティを参照してください。

例: model_opt = pslinkoptions('my_model')

データ型: char

`sfunc` — S-Function へのパス
文字ベクトル

S-Function へのパス。文字ベクトルとして指定します。S-Function の構成オプションをもつ Polyspace オプションオブジェクトを作成します。オプションが設定されていない場合、オブジェクトは既定の構成オプションをもちます。

すべての構成オプションとその値の詳細は、pslinkoptions のプロパティを参照してください。

例: sfunc_opt = pslinkoptions('path/to/sfunction')

データ型: char

出力引数

すべて折りたたむ

`opts` — Polyspace 構成オプション
オプションオブジェクト

オプションオブジェクトとして返される Polyspace 構成オプション。オブジェクトは pslinkrun と共に使用され、MATLAB コマンドラインからPolyspace を実行します。

pslinkoptions オブジェクトを使用すると、Polyspace 解析の多数のプロパティを指定できます。オブジェクトプロパティのリストについては、pslinkoptions のプロパティを参照してください。

pslinkoption オブジェクトを使用して指定するプロパティは、Polyspace 解析オプションのサブセットです。他のプロパティは、クラス polyspace.ModelLinkOptions を使用して指定できます。このクラスを使用して、polyspace.Project オブジェクトが生成されたコードで解析を実行する対象のプロパティを指定できます。既存の pslinkoptions オブジェクトを使用して polyspace.ModelLinkOptions オブジェクトを作成できます。

例: opts= pslinkoptions('ec') opts.VerificationSettings = 'Misra'

バージョン履歴

R2012a で導入

参考

pslinkrun | pslinkfun | pslinkoptions のプロパティ | polyspace.ModelLinkOptions

pslinkoptions

構文

説明

例

Embedded Coder によって生成されるコードの汎用オプション オブジェクトの作成

Polyspace 構成を変更するためのオプション オブジェクトの作成と編集

コマンド ラインにおける TargetLink のオプション オブジェクトの作成と編集

入力引数

codegen — コード ジェネレーター 'ec' | 'tl'

model — Simulink モデル名 モデル名

sfunc — S-Function へのパス 文字ベクトル

出力引数

opts — Polyspace 構成オプション オプション オブジェクト

バージョン履歴

参考

Embedded Coder によって生成されるコードの汎用オプションオブジェクトの作成

Polyspace 構成を変更するためのオプションオブジェクトの作成と編集

コマンドラインにおける TargetLink のオプションオブジェクトの作成と編集

`codegen` — コードジェネレーター
`'ec'` | `'tl'`

`model` — Simulink モデル名
モデル名

`sfunc` — S-Function へのパス
文字ベクトル

`opts` — Polyspace 構成オプション
オプションオブジェクト