モデル検証ツール QGen Verifier

【QGen Verifier】は、モデルベースデザインのためのブロック線図環境「Simulink」で作成されたモデルを検証するツール。MATLABメニューまたはコマンドラインから実行可能。MISRA Simulinkのルールに違反していないかをチェックし、モデルから生成されたコードに以下のエラーが含まれていないかを検証。レポートはHTML形式やCSVで出力される。検査項目は次の通り。ランタイムエラー検査：データタイプオーバーフロー、ゼロ割、アレイインデックス、デッド実行パス。フロー検査：結果が常に真・偽・条件確定済、常に同じ値を返す式。機能および安全プロパティ例外：アサーションブロックのエラー検出。