機能テストの実行とテストカバレッジの解析

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

機能テストでは、まず要件に基づいてテストケースを作成します。これらのテストでは、設計の重要点をカバーし、モデルの個々のコンポーネントが要件を満たしていることを検証します。機能テスト用のテストケースには、入力、期待される出力、受け入れ基準が含まれます。さらに、機能テスト用のテストケースをテストスイートに保存すると、機能テストを体系的に実行できます。

回帰テストを実行してさまざまなレベルのカバレッジを測定することで、テストをさらに調整することもできます。回帰チェックを行うには、ベースライン基準をテストケースに追加し、モデルの出力を一連のベースラインデータと比較します。その後、モデルでカバレッジ測定を実施して、テストで実行されたモデルの範囲を特定し、カバレッジターゲットを満たすためにテストや要件を追加する必要があるかどうかを特定できます。

The functional testing process. You define tests and run tests. Then you collect test coverage or refine your model. After you collect coverage, you define additional requirements or report the test results.

この例では、クルーズコントロールモデルの要件ベースのテストを実行する方法を説明します。この例では、次を行います。

テストを実行します。
Simulink^® Coverage™ を使用してテストカバレッジを判別します。
Simulink Design Verifier™ を使用して追加のテストを生成することでカバレッジを拡張します。
結果をレポートします。

テストハーネスおよびモデルを開く

プロジェクト例を開きます。

openExample("shared_vnv/CruiseControlVerificationProjectExample");
pr = openProject("SimulinkVerificationCruise");

モデルとテストハーネスを開きます。

open_system("simulinkCruiseAddReqExample");
sltest.harness.open("simulinkCruiseAddReqExample","SafetyTest_Harness1")

テストファイル slReqTests.mldatx を Simulink テストマネージャーで開きます。

pf = fullfile(pr.RootFolder,"tests","slReqTests.mldatx");
tf = sltest.testmanager.TestFile(pf);
sltest.testmanager.view

テストハーネスで、Test Sequence ブロックを開きます。シーケンスで次のいずれかの場合にシステムが解除されることが検証されます。
- ブレーキペダルを踏んだとき。
- 速度が制限を超えたとき。

モデルカバレッジの測定

Simulink テストマネージャーで、slReqTests テストファイルを選択します。
カバレッジ収集を有効にするには、右側のペインで [カバレッジの設定] を展開し、[収集するカバレッジ] を展開します。
- [参照モデルのカバレッジを記録] を選択します。
- [判定]、[条件] および [MCDC] を選択します。
テストマネージャーのツールストリップで [実行] をクリックします。
テストが完了したら、[結果とアーティファクト] をクリックします。[結果とアーティファクト] ペインで結果を選択します。右側のペインの [カバレッジの結果の集計] セクションにカバレッジの結果が表示されます。テストは、判定カバレッジを 50%、条件カバレッジを 41%、MCDC カバレッジを 25% 達成しています。

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

Simulink Design Verifier を使用して、モデルカバレッジを拡大する追加のテストを生成します。

[結果とアーティファクト] で slReqTests テストファイルを選択し、右側のペインで [カバレッジの結果の集計] セクションを開きます。
テスト結果を右クリックし、[未達カバレッジのテストを追加] を選択します。
[ハーネス] を [ハーネスを新規作成] に設定します。
[OK] をクリックします。テストするモデルは、MATLAB^® パスまたは作業フォルダーになければなりません。
更新されたテストスイートを実行するには、テストマネージャーのツールストリップで [実行] をクリックします。テスト結果には、組み合わせたテストケース入力のカバレッジが含められ、モデルカバレッジが拡大されます。

参考

sltest.testmanager.addTestsForMissingCoverage (Simulink Test) | sltest.testmanager.TestOptions (Simulink Test)

トピック

要件へのリンク (Simulink Test)
Verify Model Simulation by Using when Decomposition (Simulink Test)
ベースラインテスト (Simulink Test)
モデル判定カバレッジのテストケースの生成 (Simulink Design Verifier)
モデルのテストカバレッジの拡大 (Simulink Test)