Main Content

Assignment ブロックの使用をチェック

チェック ID: mathworks.misra.AssignmentBlocks

ブロック パラメーター [任意の出力要素が割り当てられない場合のアクション] が [エラー] または [警告] に設定されていない Assignment ブロックを特定します。

説明

このチェックは、[Simulink] 、 [Math Operations] の Simulink ブロック ライブラリで使用可能な Assignment ブロックに適用されます。

このチェックの推奨事項に従うと、組み込みアプリケーション用の MISRA C:2012 準拠コードと、CERT C 標準、CWE 標準、ISO/IEC TS 17961 標準に準拠するコードが生成される可能性が高くなります。

Embedded Coder® および Simulink® Check™ で使用できます。

結果と推奨アクション

条件推奨アクション
モデルまたはサブシステム内に、ブロック パラメーター [任意の出力要素が割り当てられない場合のアクション] が [エラー] または [警告] に設定されていない、配列の初期化が完了していない Assignment ブロックが含まれている可能性がある。

ブロック パラメーター [任意の出力要素が割り当てられない場合のアクション] をいずれかの推奨値に設定します。

  • Assignment ブロックが Iterator subsystem 内にない場合は [エラー]。

  • Assignment ブロックが Iterator subsystem 内にある場合は [警告]。

機能および制限事項

  • ライブラリ モデルで実行されます。

  • ライブラリにリンクされたブロックの内容を解析します。

  • マスク サブシステムの内容を解析します。

  • Simulink Check ライセンスをお持ちの場合は、ブロックおよびチャートの対象外指定が許可されます。

編集時チェック

このチェックは編集時チェックでサポートされます。ただし、編集時チェックでは Assignment ブロックが Iterator subsystem 内にあるかどうかを判断できないため、次のチェック条件はサポートされません。

ブロック パラメーター [任意の出力要素が割り当てられない場合のアクション] をいずれかの推奨値に設定します。

  • Assignment ブロックが Iterator subsystem 内にない場合は [エラー]。

  • Assignment ブロックが Iterator subsystem 内にある場合は [警告]。

参考