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

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

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

テストスイート内の個々のテストケースを収集することにより、機能テストを体系的に実行できます。回帰チェックを行うには、ベースライン基準をテストケースに追加して、モデルを繰り返しテストします。カバレッジ測定は、これらのテストがモデルを完全に実行した範囲を反映します。カバレッジ測定は、カバレッジターゲットを満たすためにテストや要件を追加する際にも役立ちます。

テストケース生成を使用したテストカバレッジの段階的な拡大

この例では、クルーズコントロールモデルの機能テストに基づくテストワークフローを説明します。外部の要件ドキュメントにリンクされているテストをもつモデルから始めて、金宝app^®Coverage™でモデルのカバレッジを解析し、Simulink Design Verifier™でカバレッジを段階的に拡大して、結果をレポートします。

テストハーネスとモデルの確認

作業フォルダー内にプロジェクトのコピーを作成します。コマンドラインに次のように入力します。

path = fullfile(matlabroot,'toolbox','shared','examples',... 'verification','src','cruise') run(fullfile(path,'slVerificationCruiseStart'))

モデルとテストハーネスを開きます。コマンドラインに次のように入力します。

open_system simulinkCruiseAddReqExample sltest.harness.open('simulinkCruiseAddReqExample','SafetyTest_Harness1')

Test Model Against Requirements and Report Results(Simulink Test)からテストスイートを読み込み、Simulink Test マネージャーを開きます。コマンドラインに次のように入力します。
```
sltest.testmanager.load('slReqTests.mldatx') sltest.testmanager.view
```
Test Sequence ブロックを開きます。シーケンスで次の場合にシステムが解除されることがテストされます。
- ブレーキペダルを踏んだとき
- 速度が制限を超えたとき
テストシーケンスのステップの一部は、要件ドキュメントsimulinkCruiseChartReqs.docxにリンクされています。

モデルカバレッジの測定

Simulink Test マネージャーで、slReqTestsテストファイルをクリックします。
テストファイルのカバレッジ収集を有効にするには、右側のページの[カバレッジの設定]で以下を行います。
- [参照モデルのカバレッジを記録]を選択します。
- [カバレッジフィルターファイル名]を使用して、カバレッジ解析に使用するカバレッジフィルターを指定します。既定の設定は、モデルコンフィギュレーションパラメーターの設定に従います。フィールドを空のままにすると、カバレッジフィルターは付加されません。
- [判定]、[条件]および[MCDC]を選択します。
テストを実行するには、テストマネージャーのツールストリップで[実行]をクリックします。
テストが終了したら、テストマネージャーで結果を選択します。カバレッジ結果の集計により、モデル例は、判定カバレッジを 50%、条件カバレッジを 41%、MCDC カバレッジを 25% 達成していることが示されます。

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

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