金宝appSimulink设计验证程序
設計エラーを識別し、要件準拠を証明し、テストを生成する
金宝appSimulink设计验证程序™ は、形式的手法を使用して、モデルの隠れた設計エラーを特定します。また、整数オーバーフロー、デッドロジック、配列アクセス違反、およびゼロ除算を引き起こす、モデル内のブロックを検出します。設計が機能要件を満たしていることを形式的に確認できます。各設計エラーまたは要件違反に対して、デバッグのためのシミュレーション テストケースを生成します。
金宝appSimulink设计验证程序は、モデルカバレッジとカスタム オブジェクティブに従ってテストケースを生成して、既存の要件ベースのテストケースを拡張します。これらのテストケースを使用して、モデルが、条件、判定、変更条件/判定カバレッジ (MCDC公司）およびカスタム カバレッジ オブジェクティブを満たすようにすることができます。カバレッジ オブジェクティブに加えて、カスタム テスト オブジェクティブを指定して、要件ベースのテストケースを自動的に生成することもできます。
業界標準には、IEC认证工具包（适用于ISO 26262和IEC 61508）およびDO鉴定套件（适用于DO-178和DO-254）によって対応しています。
詳細を見る:
ランタイムエラーと診断エラー
シミュレーションを実行する前に、整数オーバーフロー、ゼロ除算、範囲外配列アクセス、非正規値、浮動小数点エラーなどのランタイムエラーおよびモデリングエラーと、データ有効性エラーを検出できます。
デッドロジック
シミュレーション中および生成コードの実行中にアクティブにできない、モデル内のオブジェクトを見つけます。 |
モデル内のデッドロジックの表示。
カバレッジを高めるためのテストケース
手動で作成された既存のテストケースを強化し、拡張して、不完全なモデルカバレッジに対処します。 |
Cコードを呼び出すモデルのテストの生成。
安全要件
MATLAB软件®、金宝appSimulink公司および 状态流を使用して表現する形式的に定義された安全要件に従って設計が挙動することを検証します。
