このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。
モデルカバレッジデータの収集
金宝app®覆盖™は,論理条件,意図しない機能,スイッチの位置など,テストされていない設計要素をシミュレーション時に示すために,モデルカバレッジとコードカバレッジを測定します。生成されたレポートのモデルと強調表示されたモデルにおいて,カバレッジ情報を確認し,未達カバレッジを特定し,関連する要件に移動します。カバレッジ目標を満たすために要件,テストケースまたは設計を修正する必要があるかどうかを判断します。
関数
cvt |
创建模型覆盖率测试规范对象 |
cvsim |
模拟并返回测试对象的模型覆盖结果 |
cvhtml |
从模型覆盖对象生成HTML报告 |
cvmodelview |
用模型着色显示模型覆盖结果 |
executioninfo |
检索执行覆盖率信息cvdata对象 |
conditioninfo |
检索条件覆盖信息cvdata对象 |
decisioninfo |
检索决策覆盖信息cvdata对象 |
mcdcinfo |
检索已修改的条件/决策覆盖信息cvdata对象 |
トピック
モデルカバレッジの基礎
モデルオブジェクトのテストの達成度を測定してモデルテストを検証。
金宝app仿真软件覆盖を使用して,エンドツーエンドの体系的検証によって設計の信頼度を向上する方法について学習する
金宝app仿真软件エディターで,カバレッジ記録のオプションをいくつか指定する。
指定金宝app仿真软件覆盖分析选项。
金宝app仿真软件覆盖に備わっているモデルカバレッジメトリクス。
モデル要素を強調表示してカバレッジの結果を確認する。
再利用可能なサブシステムおよびStateflow®構造の累積カバレッジの取得
再利用可能なサブシステムをもつモデルの累積カバレッジ結果の作成および表示。
連続シミュレーションの実行からの累積モデルカバレッジの収集。
モデルカバレッジのMATLAB®コマンドcvtおよびcvsimを使用して,テストケースの作成と実行を行う。
金宝app仿真软件モデルのカスタムC / c++コードのカバレッジ
C / c++函数のモデルカバレッジの解析。
モデルカバレッジオブジェクトの詳細
金宝app仿真软件覆盖における改良条件判定カバレッジ(MCDC)定義
金宝app仿真软件覆盖で使用されるMCDCカバレッジの定義を説明する。
金宝app仿真软件设计校验™と金宝app仿真软件覆盖のMCDCカバレッジの違いの説明。
このモデルには,カスケード逻辑算子ブロックのさまざまなパターンが含まれています。
この例では,金宝app仿真软件®覆盖™を使用して逻辑算子ブロックのカスケードのMCDCメトリクスを記録する方法を説明します。
インラインパラメーター,ブロック削減,条件付き入力分岐実行がモデルカバレッジデータにどのように影響するかの説明。
シミュレーション時にモデルカバレッジの対象となるモデルオブジェクト。
カバレッジの対象とならない仿金宝app真软件オブジェクト。
MATLAB函数ブロックのモデルカバレッジを使用した結果の解釈。
モデルテストケースがモデル内の制御フローのパスを経由してどの程度シミュレーションを実行するかを判定する。
同じモデルを参照する複数の模型ブロックがモデルにある場合のモデルカバレッジの収集。
このモデル例では,モデルカバレッジとMATLAB函数ブロック内のMATLABコードの関係について説明します。
この例では,カバレッジとの互換性をもつように,レガシコードツールで生成されるs函数を構成する方法を示します。
このモデルをシミュレートして,整数オーバーフローで飽和カバレッジを収集し,レポートします。
注目の例
你也可以从以下列表中选择一个网站:
