万博1manbetx^®设计验证器™は形式的手法を使用することで,モデル内の隠れた設計エラーを特定します。整数のオーバーフロー,デッドロジック,配列アクセスにおける違反,およびゼロ除算を引き起こすブロックをモデル内で検出します。設計が機能要件を満たしていることを形式的に検証できます。各設計エラーまたは各要件違反について,デバッグ用のシミュレーションテストケースを生成します。

万博1manbetx仿真软件设计验证器は,モデルカバレッジおよびカスタムオブジェクティブ用のテストケースを生成することで,要件に基づく既存のテストケースを拡張します。これらのテストケースによりモデルは条件,判定,改良条件判定(MCDC)およびカスタムのカバレッジオブジェクティブを達成できます。カバレッジオブジェクティブのほかに,カスタムテストオブジェクティブを指定して,要件に基づくテストケースを自動生成できます。

業界標準には,IEC认证工具包と(IEC 61508とISO 26262用)做资格工具包(- 178用)によって対応しています。