В этом примере показано, как использовать генерацию тестов на модели с пользовательским кодом в диаграмме Stateflow.
open_system('sldvexSFCustomCodeExample');
Используйте sldvrun
функционируйте, чтобы запустить анализ Simulink® Design Verifier™.
opts = sldvoptions; opts.Mode = 'TestGeneration'; opts.ModelCoverageObjectives = 'ConditionDecision'; opts.SaveHarnessModel = 'off'; opts.SaveReport = 'off'; [status, fileNames] = sldvrun('sldvexSFCustomCodeExample', opts);
Checking compatibility for test generation: model 'sldvexSFCustomCodeExample' Compiling model...done Building model representation...done 'sldvexSFCustomCodeExample' is compatible for test generation with Simulink Design Verifier. Generating tests using model representation from 27-Jan-2021 09:48:33... .......... Completed normally. Generating output files: Results generation completed. Data file: /tmp/BR2021ad_1584584_202060/publish_examples4/tp686bd2dc/ex18712703/sldv_output/sldvexSFCustomCodeExample/sldvexSFCustomCodeExample_sldvdata.mat
Используйте sldvruntest
функция, чтобы проверить, что тестовый набор достигает полного покрытия модели.
[~, finalCov] = sldvruntest('sldvexSFCustomCodeExample', fileNames.DataFile, [], true); cvhtml('Final Coverage', finalCov);
Чтобы завершить пример, закройте все модели.
close_system('sldvexSFCustomCodeExample', 0);