万博1manbetxSimulink Design Verifier
设计エラーを识别し，要件准拠を证明し，テストを生成する
万博1manbetxSimulink Design Verifier™は，形式的手法を使て，モデルの隠れ设计エラーを，整オーバーます，また，整オーバーます，デッドデッド，配列违反，およびゼロ除算引き起こす，モデル内を引き起こす，モデルモデル内のブロックを検出検出ますがが机能要件満たしていること形式确认确认できますますに対して设计设计または要件违反に対してに対してをのためのシミュレーション违反に対してをのためのシミュレーションテストテストををしししししし
万博1manbetxSimulink Design Veriferは，モデルカバレッジとカスタムオブジェクティブにてテストケース生成して既存のベースのテストを拡しますます。これら拡テストケースます。これらのテストケース使使て，モデルが，，条件，判定条件/判定カバレッジ（MCDC）およびカスタムカバレッジオブジェクティブをようにすることができます。カバレッジカバレッジに加入て，カスタムテストオブジェクティブをしし，要件ベースのテストをし，要件要件ベースのテストケースを自てににすることもできできにすることこともできでき生することもできでき
业主标准には，IEC认证套件（对于ISO 26262和IEC 61508）および做资格套件（对于do-178和do-254）によってによってしてい。
详细を见る：
ランタイムエラーと诊断エラー
シミュレーションシミュレーション実行する前，整数オーバー，ゼロ除算，范囲外配列アクセス，非正式値，移动小数点などのランタイムエラーモデリングエラー，データ有效性モデリングととでき。
デッドロジック
シミュレーション中および生成コードの実にアクティブにない，モデル内のオブジェクトを见つけ。 |
モデル内のデッドロジック表示表示。
カバレッジを高度ためのテストケース
动力又作物さたた既存のケースを强し，拡张して，不完全なモデルににししますし。 |
C / C ++コードのテストケース
生成さされたコードコード万博1manbetx®ブロックから，または，州流程®チャートで呼び出されるc / c ++コードのカバレッジを高めるののケースを生成しし。
cコードを呼び出すモデルのの生成。
安全要件
马铃薯®，万博1manbetxSIMULINK，および州流を使使定义てたた安全要件にたががが
