主要内容
金宝appSimulink Design Verifier
设计エラーの特性，要件への准拠性の明，およびテスト生成
金宝app®设计Verifier™は形式的手法をを使するで，モデル内の隠れた设计を定しますます整のフロー，デッドロジック，配列アクセス违反，およびおよびゼロ除算を引き起こすブロックを内検出しし设计设计が検出しをを设计で検出しををを设计で能しをて各设计エラーまたは各要违反について，について设计ししについてについてについて，用成しし生成します。
金宝appSimulink Design Verifierは，モデルカバレッジおよびカスタムオブジェクティブのケースケース生成するで，要件に基于のテストを拡拡します条件ケース拡拡によりはは，判定，改良条件モデル条件，判定，改良条件（mcdc）およびおよびのカバレッジ〖〗达成できます。
业主标准には，IEC认证套件（IEC 61508とISO26262用）と做资格套件（DO-178用）によってによってしてい。
金宝appSimulink设计验证程序入门
金宝appSimulink Design Verifierの基础を学习
体育的モデル検证
解析用モデルコンポーネントのの特定および成
设计エラー検出
ランタイムエラーおよびデッドロジックの静，设计范囲の导出
テストケースの生成
モデルモデルから体育的テストケース生成，テストケースの拡张およびおよびによる完全なスイートスイート
要件に基因検证
要件に対する设计の検证，解析のの力制约の指定
复雑度の制剂
非非互换性へのの，大规模および复雑なモデルの解析最适最适
结果の解釈および使用
解析解析结果のログ记录记录および，レポートの生成，テストハーネスモデルの作物
検证と确认
金宝appSimulink装饰ををして，モデルモデルコードをし，设计设计の有象チェックし，标准に対するチェックチェック行，カバレッジを测定し，システムをし
ツールの検定と认定
IEC认定に対する金宝appSimulink Design Verifierの结合
您还可以从以下列表中选择一个网站：
