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

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

金宝app仿真软件设计验证器のモデルスライサーツールは,問題のあるモデル動作を分離します。サブシステムの出力に影響しているブロックを確認したり,複数のスイッチおよびロジックを通る信号パスをトレースできます。

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