Откройте 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

Загруженные результаты анализа можно просмотреть в окне Simulink Design Verifier Results Summary. Чтобы открыть окно Сводных данных результатов, на вкладке Design Verifier, в разделе Review Results, нажмите Results Summary.

Откройте 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

Загруженные результаты анализа можно просмотреть в окне Simulink Design Verifier Results Summary. Чтобы открыть окно Сводных данных результатов, на вкладке Design Verifier, в разделе Review Results, нажмите Results Summary.