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

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

業界標準には，IEC认证套件(适用于ISO 26262及iec61508)とDO资格套件(适用于DO-178)によって対応しています。