モデル検証ツール Qgen Verifier（ソフトウェア）

『QGen モデルベリファイヤ』は、Simulink®で作成されたモデルを検証するツールで、MATLABメニューあるいはコマンドラインから実行できます。MISRA Simulink®のルールに違反していないかをチェック。モデルから生成されたコードにエラーが含まれていないかを検証します。

また、当製品のレポートはHTML形式やCSVで出力され、エラーの可能性があるSimulink®ブロックへのリンクが示され、直接ジャンプでき、ブロックからトップレベルのモデルまで、モデル全体におけるエラーの状況を把握する手助けとなります。

【検証項目（一部）】
■ランタイムエラー検査

• データタイプオーバーフロー
• ゼロ割
• アレイインデックス
• デッド実行パス