金宝app新闻报道入門

モデルと生成されたコードでテストカバレッジを測定

金宝app^®新闻报道™はモデルおよびコードのカバレッジ解析を実行し、モデルと生成されたコードのテストの完全性を測定します。判定、条件、改良条件判定カバレッジ（MCDC）などの業界標準メトリクス、モデルのシミュレーションテストの有効性を評価する関係演算子境界カバレッジ、ソフトウェアインザループ（SIL）およびプロセッサインザループ（PIL）を適用します。未達カバレッジデータを利用して、テストのギャップ、欠落した要件、または意図しない機能を見つけることができます。

金宝app模拟链路覆盖はモデル、C/C++S函数、MATLAB^®関数、および嵌入式编码器^®により生成されたコードがどの程度実行されたかを示す対話型のレポートを生成します。ブロックおよびサブシステムのカバレッジ結果を強調表示し、テスト時のギャップを可視化できます。テストの完全性を評価するために、複数回テストを実行してカバレッジデータを蓄積し、ユニットテストとシステムテストで達成したカバレッジを表示できます。カバレッジの結果を要件とテストまでたどることができます。フィルターを適用してブロックをカバレッジから除外したり、レポートの未達カバレッジを正当化したりできます。

業界標準には、DO资格鉴定套件とIEC认证工具包によって対応しています。

チュートリアル

金宝app模拟链路覆盖の基本的なワークフロー
金宝app模拟链路覆盖の基本的なワークフローを学習する
エンドツーエンドの体系的検証での金宝app模拟链路覆盖
金宝app模拟链路覆盖を使用して、エンドツーエンドの体系的検証によって設計の信頼度を向上する方法について学習する
未達カバレッジの解決
未達カバレッジ解決のためのアクションを特定する
モデルカバレッジ
モデルオブジェクトのテストの達成度を測定してモデルテストを検証。
テストケースの作成と実行
モデルカバレッジの MATLABコマンドcvtestおよびcvsimを使用して、テストケースの作成と実行を行う。
コンポーネント検証
モデルの機能ユニットを、単独で、またはより大きなシステムのコンテキストで検証するための手法。
機能テストの実行とテストカバレッジの解析
機能の依存関係の解析、モデルコンポーネントの単独でのテスト、テストケースのスイートの作成、モデルとコードのテストによるカバレッジの達成を行います。