Откройте модель sldvdemo_flipflop в качестве примера.

open_system('sldvdemo_flipflop');

Запустите анализ генерации тестов модели в качестве примера при помощи ее настроек по умолчанию.

status = sldvrun('sldvdemo_flipflop')

Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done
'sldvdemo_flipflop' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 14-Dec-2018 16:33:34...
............

Completed normally.

Generating output files:

Results generation completed.

    Data file:
    H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat

status =

     1

Закройте модель в качестве примера.

bdclose('sldvdemo_flipflop')

Вновь откройте модель в качестве примера. Загрузите недавно сгенерированные результаты анализа.

sldvloadresults('sldvdemo_flipflop')

ans =

     1

Можно просмотреть загруженные результаты анализа в Model Explorer или в окне Simulink Design Verifier Results Summary. Чтобы открыть окно Results Summary, в Редакторе Simulink, выбирают Analysis> Design Verifier> Results> Active.

Откройте модель sldvdemo_flipflop в качестве примера.

open_system('sldvdemo_flipflop')

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

[status, filenames] = sldvrun('sldvdemo_flipflop')

Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done

Generating tests using model representation from 14-Dec-2018 16:36:43...
............

Completed normally.

Generating output files:

Results generation completed.

    Data file:
    H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat

status =

     1

Закройте модель в качестве примера.

bdclose('sldvdemo_flipflop')

Вновь откройте модель в качестве примера. Анализ нагрузки происходит для модели от файла данных что сгенерированный анализ.

sldvloadresults('sldvdemo_flipflop',filenames.DataFile)

ans =

     1

Можно просмотреть загруженные результаты анализа в Model Explorer или в окне Simulink Design Verifier Results Summary. Чтобы открыть окно Results Summary, в Редакторе Simulink, выбирают Analysis> Design Verifier> Results> Active.