ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

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

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

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

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

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

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

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

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

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

    open_system simulinkCruiseAddReqExample
    sltest.harness.open('simulinkCruiseAddReqExample','SafetyTest_Harness1')
  3. Test Model Against Requirements and Report Results (Simulink Test)からテスト スイートを読み込みます。コマンド ラインに次のように入力します。

    sltest.testmanager.load('slReqTests.mldatx')
    sltest.testmanager.view

  4. Test Sequence ブロックを開きます。シーケンスでは以下のテストが行われます。

    • ブレーキ ペダルを踏んだときにシステムが解除されること

    • 速度が制限を超えたときにシステムが解除されること

    テスト シーケンスのステップの一部は、要件ドキュメント simulinkCruiseChartReqs.docx にリンクされています。

モデル カバレッジの測定

  1. テスト マネージャーで、テスト ケースのカバレッジ収集を有効にします。

    1. テスト マネージャーを開きます。Simulink メニューで、[解析][テスト マネージャー] をクリックします。

    2. [テスト ブラウザー] で、slReqTests テスト ファイルをクリックします。

    3. [カバレッジの設定] を展開します。

    4. [収集するカバレッジ] で、[参照モデルのカバレッジを記録] を選択します。

      カバレッジ解析に使用するカバレッジ フィルターは、[カバレッジ フィルター ファイル名] フィールドを使用して指定します。既定の設定は、モデル コンフィギュレーション パラメーターの設定に従います。[カバレッジ フィルター ファイル名] フィールドを空のままにすると、カバレッジ フィルターは付加されません。

    5. [カバレッジ メトリクス] で、[判定][条件] および [MCDC] を選択します。

  2. テストを実行します。テスト マネージャーのツールストリップで、[実行] をクリックします。

  3. テストが完了したら、テスト マネージャーでテスト ケースに移動します。カバレッジ結果の集計により、モデル例は、判定カバレッジを 50%、条件カバレッジを 41%、MCDC カバレッジを 25% 達成していることが示されます。

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

  1. Simulink Design Verifier を使用して、モデル カバレッジを拡大する追加のテストを生成します。[結果とアーティファクト] でテスト ケースを選択し、カバレッジ結果の集計セクションを開きます。

  2. 前のセクションからテスト結果を選択し、[未達カバレッジのテストを追加] をクリックします。

    [未達カバレッジのテストを追加] オプションが開きます。

  3. [ハーネス] で、[ハーネスを新規作成] を選択します。

  4. [OK] をクリックし、Simulink Design Verifier を使用してテスト スイートにテストを追加します。

  5. 更新されたテスト スイートを実行します。テスト マネージャーのツールストリップで、[実行] をクリックします。テスト結果には、組み合わせたテスト ケース入力のカバレッジが含められ、モデル カバレッジが拡大されることになります。

関連するトピック