Генерация тестов на модели с блоком вызывающей стороны C
В этом примере показано, как использовать генерацию тестов на модели с блоком C Caller и пользовательским кодом С
Откройте модель, содержащую блок C Caller и пользовательский код
open_system('sldvexCCallerBlockExample');
Сгенерируйте тесты, чтобы гарантировать покрытие модели
Используйте sldvrun функционируйте, чтобы запустить Simulink ® Верификатор Проекта ™ анализ.
opts = sldvoptions; opts.Mode = 'TestGeneration'; opts.ModelCoverageObjectives = 'ConditionDecision'; opts.SaveHarnessModel = 'off'; opts.SaveReport = 'off'; [status, fileNames] = sldvrun('sldvexCCallerBlockExample', opts);
Checking compatibility for test generation: model 'sldvexCCallerBlockExample'
Compiling model...done
Building model representation...done
'sldvexCCallerBlockExample' is compatible for test generation with Simulink Design Verifier.
Generating tests using model representation from 23-Jul-2021 11:05:14...
..........
Completed normally.
Generating output files:
Results generation completed.
Data file:
/tmp/BR2021bd_1724986_151598/publish_examples4/tpfe1a7baf/ex07804984/sldv_output/sldvexCCallerBlockExample/sldvexCCallerBlockExample_sldvdata.mat
Проверьте покрытие
Используйте sldvruntest функция, чтобы проверить, что тестовый набор достигает полного покрытия модели.
[~, finalCov] = sldvruntest('sldvexCCallerBlockExample', fileNames.DataFile, [], true); cvhtml('Final Coverage', finalCov);
Очистка
Чтобы завершить пример, закройте все модели.
close_system('sldvexCCallerBlockExample', 0);