モデルのテストカバレッジの拡大

この例では次を使用します。

この例では、テスト入力を生成してモデルのテストカバレッジを拡大する方法を示します。

テストで達成されるモデルカバレッジが不完全な場合は、Simulink® Design Verifier™ を使用してテスト入力を生成することでカバレッジを拡大できます。

この例では、テストカバレッジを最初のテストケースより拡大する方法を示します。テストケースの初期カバレッジを測定します。その後、新しいテストケースを生成してテストスイートに追加し、テストを実行してカバレッジの集計を確認します。

ワークフロー

この例では、テストハーネスを使用して自動操縦システムのコンポーネントをテストします。テストハーネスのルート入力端子にベースワークスペースからの時系列データがマッピングされています。テストファイルはカバレッジを収集するように構成されています。

この例のワークフローは次のとおりです。

最初のテストケースのモデルカバレッジを測定する。
追加のテストを生成してカバレッジを拡大する。
テストファイルに新しいテストケースを追加する。
すべてのテストケースを実行し、カバレッジの集計を確認する。

パスと例のファイル

例で使用するパスとファイル名を設定します。

rollModel = 'RollAutopilotRevised';
testHarness = 'RollReference_LoggedDataTest';
testFile = 'RollRefTest.mldatx';

最初のテストの実行とカバレッジの確認

1.テストファイルを開きます。

sltest.testmanager.load(testFile);
sltest.testmanager.view;

2.テストを実行します。[テストブラウザー] で [Logged Data and Coverage] テストスイートを強調表示します。[実行] をクリックします。

3.テストの完了後、テスト結果で [カバレッジの結果] セクションを展開します。Roll Reference サブシステムについて、テストで達成されるカバレッジが部分的なものになっています。

判定カバレッジ: 80%
条件カバレッジ: 70%
MCDC 25%

モデルカバレッジを拡大するテストの生成

未達カバレッジ用の追加のテストを生成します。

1.[カバレッジの結果の集計] で [RollAutopilotRevised/Roll Reference] の行を選択します。テーブルの下にある [未達カバレッジのテストを追加] をクリックします。

2.[未達カバレッジのテストを追加] ダイアログボックスで、次のオプションを設定します。

ハーネス: RollReference_LoggedDataTest。これにより、新しいテスト入力が既存のテストハーネスにマッピングされます。
テストケース: Create a new test case。これにより、生成されたテスト入力を使用して新しいテストケースが作成されます。
テストタイプ: Baseline Test。これにより、生成されたテストのモデルからベースラインデータの出力を取得するオプションが提供されます。
テストファイル:: RollRefTest。これにより、既存のテストファイルが再利用されます。

3.[OK] をクリックします。テストケースの生成の進行状況がダイアログボックスに表示されます。テストケースの生成が完了すると、新しいテストケースがテストマネージャーに表示されます。

あるいは、sltest.testmanager.addTestsForMissingCoverage関数を使用してプログラムでテストを追加できます。

新しいテストケースの実行

1.新しいテストケースを [Logged Data and Coverage] テストスイートにドラッグアンドドロップします。

2.[Logged Data and Coverage] テストスイートを再度実行します。

3.シミュレーションが完了したら、[結果とアーティファクト] セクションで結果セットを選択し、[カバレッジの結果の集計] を展開します。テストスイートで完全なカバレッジが達成されています。

判定: 100%
条件: 100%
MCDC: 100%

クリーンアップ

変数とテスト結果をクリアし、モデルを閉じます。

clear reqDoc rollModel testFile testHarness topModel;
sltest.testmanager.clearResults;
sltest.testmanager.close;
close_system('RollAutopilotRevised',0);

参考

トピック

Collect Coverage in Tests
Test Coverage for Requirements-Based Testing
Run a Test Suite and Resolve Missing Model Coverage (Simulink Coverage)
モデル判定カバレッジのテストケースの生成 (Simulink Design Verifier)

モデルのテスト カバレッジの拡大