このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

default ケースをもたない switch case 式のチェック

チェック ID: mathworks.misra.SwitchDefault

default ケースをもたない switch case 式を特定します。

説明

このチェックは、default ケースがなく switch case 式をもつモデル オブジェクトにフラグを付けます。

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

default ケースをもたないブロックが Polyspace® の注釈で正当化される場合、このチェックはフラグを付けません。チェックを実行すると、正当化情報のある default ケースをもたないブロックは、[正当化情報のあるブロック] テーブルにリストされます。

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

結果と推奨アクション

条件推奨アクション

モデル オブジェクトに default ケースがない switch case 式が含まれている。

Switch Case ブロックの場合、ブロック パラメーター [default ケースを表示] を選択して default ケースを明示的に指定することを検討してください。

機能および制限事項

次のことが可能です。

  • このチェックはライブラリ モデルで実行できます。

  • Simulink Check ライセンスをお持ちの場合は、ブロックおよびチャートをこのチェックから除外できます。

編集時チェック

このチェックは編集時チェックでサポートされます。

参考