sltest.import.sldvData

Simulink Design Verifier の結果からのテストケースの作成

構文

[owner,testHarness,testFile,testCase] = sltest.import.sldvData(dataFile)

[owner,testHarness,testFile,testCase] = sltest.import.sldvData(dataFile,Name,Value)

説明

[owner,testHarness,testFile,testCase] = sltest.import.sldvData(dataFile) は、dataFile に含まれている Simulink^® Design Verifier™ 解析結果を使用して、テストハーネスとテストファイルを作成します。この関数は、テストケースに関連付けられたモデルコンポーネントオーナー、テストハーネス、テストファイルおよびテストケースを返します。テストケースまたは反復が Requirements Table ブロック用である場合、対応する要件はテストケースまたは反復内で自動的にリンクされます。

[owner,testHarness,testFile,testCase] = sltest.import.sldvData(dataFile,Name,Value) は、1 つ以上の Name,Value ペアの引数で指定した追加オプションを使用して、テストハーネスとテストファイルを作成します。データファイル入力引数の後に名前と値のペアの引数を指定します。

例

すべて折りたたむ

Simulink Design Verifier からのテストケースの生成とインポート

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

ライブスクリプトを開く

sldvdemo_cruise_control モデルを開きます。テストを生成するためのオプションを設定します。次に、sldvrun を使用して Simulink Design Verifier データファイルを生成します。Simulink Design Verifier データをインポートして、Simulink Test で使用できるようにします。

open_system('sldvdemo_cruise_control');

opts = sldvoptions;
opts.Mode = 'TestGeneration';     

[status,files] = sldvrun('sldvdemo_cruise_control',opts)

12-Aug-2025 18:22:10
Checking compatibility for test generation: model 'sldvdemo_cruise_control'
Compiling model...done
Building model representation...done

12-Aug-2025 18:22:19

'sldvdemo_cruise_control' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 12-Aug-2025 18:22:19...


Generating output files:

12-Aug-2025 18:22:44
Results generation completed.

    Data file:
    /tmp/Bdoc25b_2988451_670672/tp9499bad9/simulinktest-ex90358021/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_sldvdata.mat

status = 
1

files = struct with fields:
                                DataFile: '/tmp/Bdoc25b_2988451_670672/tp9499bad9/simulinktest-ex90358021/sldv_output/sldvdemo_cruise_control/sldvdemo_cruise_control_sldvdata.mat'
                            HarnessModel: ''
                          SystemTestFile: ''
                                  Report: ''
                               PDFReport: ''
                                 LogFile: ''
                          ExtractedModel: ''
                   BlockReplacementModel: ''
    ModelReferenceBlockReplacementModels: ''
                              SLTestFile: ''

[owner,testharness,testfile,testcase] = sltest.import.sldvData...
   (files.DataFile,'TestHarnessName','CoverageHarness',...
   'TestFileName','CoverageTests')

owner = 
'sldvdemo_cruise_control'

testharness = 
'CoverageHarness'

testfile = 
'/tmp/Bdoc25b_2988451_670672/tp9499bad9/simulinktest-ex90358021/CoverageTests.mldatx'

testcase = 
  TestCase with properties:

             Name: 'New Test Case 1'
         TestFile: [1×1 sltest.testmanager.TestFile]
         TestPath: 'CoverageTests > New Test Suite 1 > New Test Case 1'
         TestType: 'baseline'
      RunOnTarget: {[0]}
    RunOnPlatform: {[Desktop]}
           Parent: [1×1 sltest.testmanager.TestSuite]
     Requirements: [0×1 struct]
      Description: ''
          Enabled: 1
             Tags: [0×0 string]

open(testfile)

% Clean up Test Manager
sltest.testmanager.clear
sltest.testmanager.clearResults
sltest.testmanager.close

入力引数

すべて折りたたむ

`dataFile` — データファイルの絶対パス名
文字ベクトル | string スカラー

Simulink Design Verifier sldvrun 解析によって生成される MAT データファイルのパスとファイル名。文字ベクトルまたは string スカラーとして指定します。データファイルには、1 つ以上のベースラインテストケースと、オプションで期待される出力を含めることができます。ファイル内に複数のテストケースがある場合、各テストケースは反復としてインポートされます。ファイルを Simulink Test™ にインポートすると、インポート関数によって MLDATX テストファイルが作成されます。また、ExcelFilePath を指定する場合は、その場所に入力値を含む Excel^® ファイルが作成されます。Excel ファイルが既に存在する場合は、新しいシートがファイルに追加されます。

例: 'ShiftLogic0/ShiftLogic0_sldvdata.mat'

名前と値の引数

すべて折りたたむ

オプションの引数のペアを Name1=Value1,...,NameN=ValueN として指定します。ここで、Name は引数名で、Value は対応する値です。名前と値の引数は他の引数の後に指定しなければなりませんが、ペアの順序は重要ではありません。

R2021a より前では、コンマを使用して名前と値をそれぞれ区切り、Name を引用符で囲みます。

例: 'TestHarnessName','DatafileHarness','CreateHarness',false

`CreateHarness` — モデルまたはサブシステムのテストハーネスを作成または再利用
`true` (既定値) | `false`

テストファイル内のテストケースに対応する、モデルまたはモデルコンポーネントのテストハーネスを追加または再利用するためのオプション。'CreateHarness' と true または false で構成されるコンマ区切りのペアとして指定します。

true を指定すると、インポート関数 Simulink Design Verifier は、'TestHarnessName' の名前と値のペアを使用して指定した名前で新しいテストハーネスを作成します。

false を指定すると、インポート関数は 'TestHarnessName' の名前と値のペアを使用して指定した既存のテストハーネスを再利用します。

メモ

解析対象のモデルがテストハーネスの場合、CreateHarness の既定値は false です。

例: 'CreateHarness',false

`TestHarnessName` — ハーネスの名前
文字ベクトル | string スカラー

テストケースを実行するために使用されるテストハーネス。'TestHarnessName' とテストハーネスの名前で構成されるコンマ区切りのペアとして指定します。

CreateHarness が true の場合、指定された TestHarnessName の新しいテストハーネスが作成されます。CreateHarness が false の場合、指定された TestHarnessName の既存のテストハーネスが再利用されます。

例: 'TestHarnessName','ModelCoverageTestHarness'

`TestHarnessSource` — 新しいテストハーネスのソース
`'Inport'` (既定値) | `'Signal Editor'`

CreateHarness が true の場合のテストハーネスのソース。'TestHarnessSource' と 'Inport' または 'Signal Editor' で構成されるコンマ区切りのペアとして指定します。

Inport — 入力は Simulink Design Verifier データファイルに含まれており、テストハーネスの Inport ブロックにマッピングされます。Inport オプションを使用すると、他の入力をテストハーネスの Inport ブロックにマッピングできます。これは、同じテストハーネスを使用して複数のテストケースや反復を実行する場合に役立ちます。ソースが Inport の場合、MAT ファイルと Excel ファイルの両方がサポートされます。
Signal Editor — 入力は、テストハーネス内の Signal Editor ブロックのシナリオにあります。Signal Editor ブロックでは、該当する入力を含む MAT ファイルがサポートされています。信号エディターでシナリオを編集できます。

例: 'TestHarnessSource','Inport'

`TestFileName` — テストファイル名
文字ベクトル | string スカラー

テストケース用に作成されたテストファイルの名前。'TestFileName' とテストファイルの名前、テキストファイルの名前の後に MLDATX 拡張子を付けたもの、またはテストファイルの絶対パスで構成されるコンマ区切りのペアとして指定します。

例: 'TestFileName','ModelCoverageTests'

例: 'TestFileName','ModelCoverageTests.mldatx'

例: 'TestFileName','C:\myTests\coverage\ModelCoverageTests.mldatx'

`ExtractedModelPath` — 抽出されたモデルのパス
文字ベクトル | string スカラー

Simulink Design Verifier の解析から抽出されたモデルのパス。'ExtractedModelPath' とパスで構成されるコンマ区切りのペアとして指定します。

Simulink Test は抽出されたモデルを使用してテストハーネスを生成します。既定では、sltest.import.sldvData は、Simulink Design Verifier のコンフィギュレーションパラメーターで指定された出力フォルダーで抽出されたモデルを検索します。抽出されたモデルが別の場所にある場合は、ExtractedModelPath を使用します。

Simulink Design Verifier は、最上位モデルを解析する場合、抽出されたモデルを使用しません。

例: 'Tests/ExtractedModels/'

`TestCase` — テストケース
`sltest.testmanager.TestCase` オブジェクト

インポート操作に使用する既存のテストケース。'TestCase' と sltest.testmanager.TestCase オブジェクトで構成されるコンマ区切りのペアとして指定します。このオプションを使用する場合は、他の名前と値のペアを指定しないでください。

例: 'TestCase',myTestCase

`ExcelFilePath` — Excel ファイルのパス
文字ベクトル | string スカラー

テストする入力値を含む Excel ファイルのパス。文字ベクトルまたは string スカラーとして指定します。このパスを指定すると、各反復の入力信号が Excel ファイルに保存されます。ファイルが既に存在する場合は、新しいシートがそのファイルに追加されます。

すべてのテストケースですべての入力に対して sldvData.TestCases.dataNoEffect が true に設定されている場合、テストケースは無視され、インポートしても Excel ファイルは生成されず、新しいシートも追加されません。sldvData.TestCases.dataNoEffect については、Manage Simulink Design Verifier Data Files (Simulink Design Verifier) を参照してください。

例: 'ExcelFilePath','ShiftLogic_sldvdata.xlsx'

出力引数

すべて折りたたむ

`owner` — テスト対象のコンポーネントのパス
文字ベクトル | string スカラー

テスト対象のコンポーネントのパス。文字ベクトルとして返されます。

例: 'ShiftLogic0/ShiftLogic0_sldvdata'

`testHarness` — テストハーネス名
文字ベクトル

テストケースを実行するためのテストハーネスの名前。文字ベクトルとして返されます。

`testFile` — テストファイル名
文字ベクトル

テストケースを使用して作成または更新されたテストファイルの名前。文字ベクトルとして返されます。

`testCase` — テストケース
`sltest.testmanager.TestCase` オブジェクト

新しく作成または更新されたテストケースの名前。sltest.testmanager.TestCase オブジェクトとして返されます。複数のテストケースの場合、各テストケースは反復として取得されます。

テストケースのすべての入力に対して sldvData.TestCases.dataNoEffect が true に設定されている場合、sltest.import.sldvData を使用した際に、そのテストケースは無視されます。sldvData.TestCases.dataNoEffect については、Manage Simulink Design Verifier Data Files (Simulink Design Verifier) を参照してください。

バージョン履歴

R2015b で導入

参考

createInputDataFile | sldvrun (Simulink Design Verifier)

sltest.import.sldvData

構文

説明

例

Simulink Design Verifier からのテスト ケースの生成とインポート

入力引数

dataFile — データ ファイルの絶対パス名 文字ベクトル | string スカラー

名前と値の引数

CreateHarness — モデルまたはサブシステムのテスト ハーネスを作成または再利用 true (既定値) | false

TestHarnessName — ハーネスの名前 文字ベクトル | string スカラー

TestHarnessSource — 新しいテスト ハーネスのソース 'Inport' (既定値) | 'Signal Editor'

TestFileName — テスト ファイル名 文字ベクトル | string スカラー

ExtractedModelPath — 抽出されたモデルのパス 文字ベクトル | string スカラー

TestCase — テスト ケース sltest.testmanager.TestCase オブジェクト

ExcelFilePath — Excel ファイルのパス 文字ベクトル | string スカラー

出力引数

owner — テスト対象のコンポーネントのパス 文字ベクトル | string スカラー

testHarness — テスト ハーネス名 文字ベクトル

testFile — テスト ファイル名 文字ベクトル

testCase — テスト ケース sltest.testmanager.TestCase オブジェクト

バージョン履歴

参考

トピック

Simulink Design Verifier からのテストケースの生成とインポート

`dataFile` — データファイルの絶対パス名
文字ベクトル | string スカラー

`CreateHarness` — モデルまたはサブシステムのテストハーネスを作成または再利用
`true` (既定値) | `false`

`TestHarnessName` — ハーネスの名前
文字ベクトル | string スカラー

`TestHarnessSource` — 新しいテストハーネスのソース
`'Inport'` (既定値) | `'Signal Editor'`

`TestFileName` — テストファイル名
文字ベクトル | string スカラー

`ExtractedModelPath` — 抽出されたモデルのパス
文字ベクトル | string スカラー

`TestCase` — テストケース
`sltest.testmanager.TestCase` オブジェクト

`ExcelFilePath` — Excel ファイルのパス
文字ベクトル | string スカラー

`owner` — テスト対象のコンポーネントのパス
文字ベクトル | string スカラー

`testHarness` — テストハーネス名
文字ベクトル

`testFile` — テストファイル名
文字ベクトル

`testCase` — テストケース
`sltest.testmanager.TestCase` オブジェクト