sltest.import.sldvData

Создайте тесты из результатов Simulink Design Verifier

Описание

[owner,testHarness,testFile] = sltest.import.sldvData(dataFile) создает тестовую обвязку и тестовый файл с помощью результатов анализа Simulink® Design Verifier™, содержавшихся в dataFile. Функция возвращает компонент модели owner сопоставленный с тестом, testHarness, и testFile.

[owner,testHarness,testFile] = sltest.import.sldvData(dataFile,'TestCase',testcase) использует заданный тест в операции импорта.

[owner,testHarness,testFile] = sltest.import.sldvData(dataFile,Name,Value) дополнительные опции использования заданы одним или несколькими NameЗначение парные аргументы.

Примеры

свернуть все

Создайте тестовый файл и тестовую обвязку для подсистемы ShiftLogic в sldvdemo_autotrans модель. Входные параметры отражают аналитические цели.

Анализируйте подсистему ShiftLogic с Simulink Design Verifier, чтобы сгенерировать тестовые воздействия для покрытия подсистемы. Файлом данных результатов является ShiftLogic_sldvdata.mat.

Создайте тест.

[component,harness,testfile] = sltest.import.sldvData...
('./sldv_output/ShiftLogic/ShiftLogic_sldvdata.mat','TestHarnessName',...
'CoverageHarness','TestFileName','CoverageTests')

Откройте тестовую обвязку.

sltest.harness.open(component,harness)

Откройте тестовый файл.

open(testfile)

Создайте тестовый файл и тестовую обвязку для подсистемы ShiftLogic в sldvdemo_autotrans модель, с помощью существующей тестовой обвязки.

Анализируйте подсистему ShiftLogic с Simulink Design Verifier, чтобы сгенерировать тестовые воздействия для покрытия подсистемы. Файлом данных результатов является ShiftLogic_sldvdata.mat. Существующую тестовую обвязку называют DatafileHarness.

Создайте тест.

[component,harness,testfile] = sltest.import.sldvData...
('./sldv_output/ShiftLogic/ShiftLogic_sldvdata.mat',...
'TestHarnessName','DatafileHarness','TestFileName','CoverageTests',...
'CreateHarness',false)

Откройте тестовую обвязку.

sltest.harness.open(component,harness)

Откройте тестовый файл.

open(testfile)

Входные параметры

свернуть все

Путь и имя файла файла данных, сгенерированного анализом Simulink Design Verifier, заданным как вектор символов или скаляр строки.

Пример: 'ShiftLogic0/ShiftLogic0_sldvdata.mat'

Пример: 'Controller_sldvdata.mat'

Имя полного пути теста, чтобы использовать, заданный как вектор символов или представить скаляр в виде строки.

Аргументы в виде пар имя-значение

Задайте дополнительные разделенные запятой пары Name,Value аргументы. Name имя аргумента и Value соответствующее значение. Name должен появиться в кавычках. Вы можете задать несколько аргументов в виде пар имен и значений в любом порядке, например: Name1, Value1, ..., NameN, ValueN.

Пример: 'TestHarnessName','DatafileHarness','CreateHarness',false

Опция, чтобы добавить тестовую обвязку в компонент модели или компонент модели, который соответствует тестам в тестовом файле, заданном как разделенная запятой пара, состоящая из 'CreateHarness' и true или false.

Если вы задаете true, используйте новое имя тестовой обвязки с 'TestHarnessName' пара "имя-значение".

Если вы задаете false, используйте существующее имя тестовой обвязки с 'TestHarnessName' пара "имя-значение".

Примечание

Если модель при анализе является тестовой обвязкой, CreateHarness значением по умолчанию является false.

Пример: 'CreateHarness',false

Тестовая обвязка, используемая в выполнении тестов, заданных как разделенная запятой пара, состоящая из 'TestHarnessName' и имя тестовой обвязки.

Используйте новое имя тестовой обвязки если 'CreateHarness' true и существующая тестовая обвязка называет если 'CreateHarness' false.

Пример: 'TestHarnessName','ModelCoverageTestHarness'

Источник новой тестовой обвязки, заданной как разделенная запятой пара, состоящая из 'TestHarnessSource' и 'Inport' или 'Signal Builder'.

Используйте новое имя тестовой обвязки если 'CreateHarness' true и существующая тестовая обвязка называет если 'CreateHarness' false.

Пример: 'TestHarnessName','ModelCoverageTestHarness'

Имя для тестового файла, созданного для тестов, заданных как разделенная запятой пара, состоящая из 'TestFileName' и имя тестового файла.

Пример: 'TestFileName','ModelCoverageTests'

Путь к модели, извлеченной из анализа Simulink Design Verifier, заданного как разделенная запятой пара, состоящая из 'ExtractedModelPath' и путь.

Simulink Test™ использует извлеченную модель, чтобы сгенерировать тестовую обвязку. По умолчанию, sltest.import.sldvData ищет извлеченную модель в выходной папке, заданной в параметрах конфигурации Верификатора Проекта. Используйте ExtractedModelPath если извлеченная модель находится в другом месте.

Simulink Design Verifier не использует извлеченную модель, когда вы анализируете модель верхнего уровня. Когда вы генерируете тесты для модели верхнего уровня, Simulink Test не использует 'ExtractedModelPath'.

Пример: 'Tests/ExtractedModels/'

Введенный в R2015b