Скомпилируйте 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/BR2021bd/build/matlab/toolbox/sldv/sldvdemos/src /tmp/BR2021bd_1724986_151598/publish_examples0/tpbd12acf5_f62a_4224_9699_3bb0a0d54c68/tpbb89e9d0_8bc6_48bc_9401_acdebc5384e9.c /tmp/BR2021bd_1724986_151598/publish_examples0/tpbd12acf5_f62a_4224_9699_3bb0a0d54c68/tp0e37505a_1466_46f1_83c3_a5a574d3975e.c -L/mathworks/devel/bat/BR2021bd/build/matlab/bin/glnxa64 -lmwsl_sfcn_cov_bridge -output sldvexSFunctionHandlingSFcn
Building with 'gcc'.
MEX completed successfully.
mex -I/mathworks/devel/bat/BR2021bd/build/matlab/toolbox/sldv/sldvdemos/src /mathworks/devel/bat/BR2021bd/build/matlab/toolbox/sldv/sldvdemos/src/sldvexSFunctionHandlingSource.c /tmp/BR2021bd_1724986_151598/publish_examples0/tpbd12acf5_f62a_4224_9699_3bb0a0d54c68/sldvexSFunctionHandlingSFcn.c /tmp/BR2021bd_1724986_151598/publish_examples0/tpbd12acf5_f62a_4224_9699_3bb0a0d54c68/tpbcf21f85_08b4_4431_9181_4c6b04e086b1.c /tmp/BR2021bd_1724986_151598/publish_examples0/tpbd12acf5_f62a_4224_9699_3bb0a0d54c68/tp00096dd3_556e_43a8_94be_d5be65b4869c.c -L/mathworks/devel/bat/BR2021bd/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 = 'ConditionDecision';
opts.SaveHarnessModel = 'off';
opts.SaveReport = 'off';
opts.SFcnSupport = 'on';

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

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

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

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

Очистка

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

close_system('sldvexSFunctionHandlingExample', 0);