Exponenta Banner

Конфигурирование S-функции для генерации теста

Открыть скрипт

Этот пример показывает, как скомпилировать S-функцию, чтобы быть совместимым с Simulink® Design Verifier™ для генерации теста. SLDV поддерживает S-функции, которые являются:

  • Сгенерированный с Legacy Code Tool, с набором def.Options.supportCoverageAndDesignVerifier к true,

  • Сгенерированный с SFunctionBuilder, с Включают поддержку Верификатора Проекта, выбранного на вкладке Build Info диалогового окна SFunctionBuilder, или

  • Скомпилированный с функцией slcovmex, с опцией -sldv передается.

Скомпилируйте S-функцию, чтобы быть совместимыми с Simulink® Design Verifier™

Рукописная S-функция найдена в файле sldvexSFunctionHandlingSFcn.c, и пользовательский исходный код для интерполяционной таблицы найден в файле sldvexSFunctionHandlingSource.c. Вызовите функцию slcovmex, чтобы скомпилировать S-функцию C-MEX и сделать его совместимым с SLDV.

slcovmex('-sldv', ...
        '-output', 'sldvexSFunctionHandlingSFcn',...
        ['-I', fullfile(matlabroot, 'toolbox', 'sldv', 'sldvdemos', 'src')], ...
        fullfile(matlabroot, 'toolbox', 'sldv', 'sldvdemos', 'src', 'sldvexSFunctionHandlingSource.c'),...
        fullfile(matlabroot, 'toolbox', 'sldv', 'sldvdemos', 'src', 'sldvexSFunctionHandlingSFcn.c') ...
        )

mex -I/mathworks/devel/bat/BR2019ad/build/matlab/toolbox/sldv/sldvdemos/src /tmp/BR2019ad_1035872_198992/publish_examples1/tp82d370db_f00c_45b6_87bc_6d7210cfb554/tpf1247113_17e0_47a6_90af_0b40c46f27ee.c /tmp/BR2019ad_1035872_198992/publish_examples1/tp82d370db_f00c_45b6_87bc_6d7210cfb554/tp067d17d8_33fe_4329_b5db_ea2fad660941.c -L/mathworks/devel/bat/BR2019ad/build/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output sldvexSFunctionHandlingSFcn
Building with 'gcc'.
MEX completed successfully.
mex -I/mathworks/devel/bat/BR2019ad/build/matlab/toolbox/sldv/sldvdemos/src /mathworks/devel/bat/BR2019ad/build/matlab/toolbox/sldv/sldvdemos/src/sldvexSFunctionHandlingSource.c /tmp/BR2019ad_1035872_198992/publish_examples1/tp82d370db_f00c_45b6_87bc_6d7210cfb554/sldvexSFunctionHandlingSFcn.c /tmp/BR2019ad_1035872_198992/publish_examples1/tp82d370db_f00c_45b6_87bc_6d7210cfb554/tpa622f5cc_d60a_427f_89ec_45df97b01702.c /tmp/BR2019ad_1035872_198992/publish_examples1/tp82d370db_f00c_45b6_87bc_6d7210cfb554/tpaa4e12c6_7ac6_4861_9b0d_bab8f0bfd362.c -L/mathworks/devel/bat/BR2019ad/build/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output sldvexSFunctionHandlingSFcn
Building with 'gcc'.
MEX completed successfully.

Создание тестового набора

Модель в качестве примера sldvexSFunctionHandlingExample пример содержит рукописную S-функцию, которая реализует алгоритм интерполяционной таблицы. Блок s-function возвращает интерполированное значение в первом выходном порту и возвращает состояние интерполяции во втором выходном порту. Второй выходной порт возвращает значение -1, если более низкое насыщение происходит, 1, если верхнее насыщение происходит, и 0 в противном случае. Откройте sldvexSFunctionHandlingExample модель и сконфигурируйте аналитические опции путем включения поддержки S-функции генерации тестов. При выполнении анализа Simulink® Design Verifier™ возвращает тестовый набор, который удовлетворяет все цели покрытия.

open_system('sldvexSFunctionHandlingExample');

opts = sldvoptions;
opts.Mode = 'TestGeneration';
opts.ModelCoverageObjectives = 'Condition';
opts.SaveHarnessModel = 'off';
opts.SaveReport = 'off';
opts.SFcnSupport = 'on';
opts.MaxProcessTime = 2*opts.MaxProcessTime;

[status, fileNames] = sldvrun('sldvexSFunctionHandlingExample', opts);

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

'sldvexSFunctionHandlingExample' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 11-Jan-2019 05:56:24...
.............

Completed normally.

Generating output files:

Results generation completed.

    Data file:
    /tmp/BR2019ad_1035872_198992/publish_examples1/tp439db33d/sldv_output/sldvexSFunctionHandlingExample/sldvexSFunctionHandlingExample_sldvdata.mat

Проверка полного обзора

Функция sldvruntest проверяет, что тестовый набор достигает полного покрытия модели. Функция cvhtml представляет отчет покрытия, который указывает, что 100%-е покрытие Условия достигается со сгенерированными тестовыми векторами.

[~, finalCov] = sldvruntest('sldvexSFunctionHandlingExample', fileNames.DataFile, [], true);
cvhtml('Final Coverage', finalCov);

Очистка

Чтобы завершить демонстрацию, закройте все модели.

close_system('sldvexSFunctionHandlingExample', 0);
Документация Simulink Design Verifier
Поддержка