Улучшите покрытие модели более старых моделей релиза

Чтобы улучшить покрытие модели модели, которую вы создали в более старом релизе, используйте рабочий процесс генерации тестов или рабочий процесс генерации кода. Можно усилить последние возможности релиза Simulink^® Design Verifier™ сгенерировать тесты для Модельно-ориентированного проектирования.

Эти рабочие процессы улучшают покрытие модели.

Улучшите покрытие модели путем генерации тестов для более старой модели релиза

В этом примере показано, как обновить покрытие модели модели, созданной в R2015b. Вы используете генерацию тестов для поддерживаемых S-функций, доступных в последнем релизе.

Модель в качестве примера sldvexSFunctionHandlingExample содержит рукописную S-функцию, которая реализует алгоритм интерполяционной таблицы. Рукописная S-функция находится в файле sldvexSFunctionHandlingSFcn.c. Пользовательский исходный код для интерполяционной таблицы находится в файле sldvexSFunctionHandlingSource.c.

В MATLAB R2015b, открытом sldvexSFunctionHandlingExample модель.
```
open_system('sldvexSFunctionHandlingExample');
```
Чтобы симулировать модель и сгенерировать отчет покрытия, в Редакторе Simulink, щелкают по кнопке Run. Результаты покрытия Вида на море в Модели (Simulink Coverage).
После симуляции отчет покрытия указывает, что полный охват не достигается для sldvexSFunctionHandlingExample модель.
В MATLAB R2018b или более поздних релизах, откройте sldvexSFunctionHandlingExample модель. Модель sldvexSFunctionHandlingExample в качестве примера доступно в R2015b и более поздних релизах, таким образом, можно использовать ту же модель для рабочего процесса генерации тестов.
```
open_system('sldvexSFunctionHandlingExample');
```
Чтобы избежать любых потенциальных изменений в модели, создайте копию более старой модели релиза в текущей рабочей папке, и затем откройте модель в R2018b или более поздних релизах. Чтобы обновить и улучшить модели, которые вы используете в текущем релизе, можно использовать upgradeadvisor.

Скомпилируйте S-функцию, чтобы быть совместимыми с Simulink Design Verifier для генерации теста при помощи slcovmex (Simulink Coverage). Для получения дополнительной информации смотрите S-функцию Конфигурирования для Генерации Теста.

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'));

Создайте opts опция для sldvexSFunctionHandlingExample модель.

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

Сгенерировать тесты при помощи заданного opts опции, используйте sldvrun анализировать модель.
```
[status, fileNames] = sldvrun('sldvexSFunctionHandlingExample', opts);
```
После анализа программное обеспечение генерирует файл данных Simulink Design Verifier и хранит его в месте по умолчанию <current_folder>\sldv_output\sldvexSFunctionHandlingExample_sldvdata.mat

В R2015b, открытом модель.

open_system('sldvexSFunctionHandlingExample');

Загрузите sldvData файл создается в R2018b или более поздних релизах.
1. На вкладке Design Verifier нажмите Load Earlier Results и обзор к sldvData MAT-файл сгенерирован в R2018b или более поздних релизах.
2. Нажмите Open.
В окне Simulink Design Verifier Results Summary нажмите Simulate tests and produce a model coverage report. Отчет указывает, что 100%-е покрытие достигается для sldvexSFunctionHandlingExample модель.

Для получения дополнительной информации смотрите Файлы данных Simulink Design Verifier и Симулируйте Тесты и Представьте Отчет Покрытия модели.

Улучшите покрытие модели при помощи сгенерированного кода от более старого релиза

В этом примере показано, как обновить покрытие модели модели, созданной в R2015b при помощи рабочего процесса генерации кода.

Для этого рабочего процесса у вас должны быть Simulink Coder™ и Embedded Coder^®.

Модель в качестве примера sldvCrossReleaseExample содержит рукописную S-функцию, которая реализует реляционный граничный алгоритм. Рукописная S-функция находится в файле rel_sfcn.c. Пользовательский исходный код находится в файле rel_comp.c.

Чтобы встроить S-функцию, используйте rel_sfcn.tlc файл. Для получения дополнительной информации смотрите Встроенные S-функции с TLC (Embedded Coder).

Скопируйте модель в качестве примера sldvCrossReleaseExample и S-файлы-функции, rel_sfcn.c, rel_comp.c, и rel_sfcn.tlc в текущей рабочей папке. Скопируйте заголовочные файлы rel_comp.h в текущую рабочую папку. Вы используете модель в качестве примера и вспомогательные файлы в R2015b для Интеграции кода перекрестного Релиза (Embedded Coder) рабочий процесс.
Примечание
Модель sldvCrossReleaseExample в качестве примера создается, например, цель. Чтобы выполнить рабочий процесс генерации кода при помощи модели в качестве примера, экспортируйте sldvCrossReleaseExample модель к 15b. Сохраните модель как sldvCrossReleaseExample_15b в текущей рабочей папке. Для получения дополнительной информации смотрите Экспорт Модель к Предыдущей Версии Simulink.
В MATLAB R2015b, открытом sldvCrossReleaseExample_15b модель от текущей рабочей папки.
```
open_system('sldvCrossReleaseExample_15b');
```

Скомпилируйте S-функцию при помощи функционального legacy_code.

def = legacy_code('initialize');
   def.SFunctionName = 'rel_sfcn';
   def.OutputFcnSpec = 'uint8 y1 = relational_bound(uint8 u1)';
   def.HeaderFiles = {'rel_comp.h'};
   def.SourceFiles = {'rel_comp.c'};
   def.IncPaths = {pwd};
   def.SrcPaths = {pwd};
   def.Options.supportCoverageAndDesignVerifier = true;
   legacy_code('sfcn_cmex_generate', def);
   legacy_code('compile', def);

Чтобы симулировать модель и сгенерировать отчет покрытия, в Редакторе Simulink, нажимают кнопку Run. Результаты покрытия Вида на море в Модели (Simulink Coverage).
После симуляции отчет покрытия указывает, что 50%-е покрытие достигается для sldvCrossReleaseExample_15b модель.
Чтобы сгенерировать код с помощью Embedded Coder, от вкладки Apps, выбирают Embedded Coder. Для получения дополнительной информации смотрите, Генерируют Код Используя Embedded Coder® (Embedded Coder).
Во вкладке C Code нажмите Generate Code.
Модель предварительно сконфигурирована с этими настройками генерации кода.
```
set_param(sldvCrossReleaseExample_15b,'SystemTargetFile','ert.tlc');
set_param(sldvCrossReleaseExample_15b,'PortableWordSizes','on');
set_param(sldvCrossReleaseExample_15b,'SupportNonFinite','off');
set_param(sldvCrossReleaseExample_15b,'GenCodeOnly','on');
set_param(sldvCrossReleaseExample_15b,'SolverMode','SingleTasking');
set_param(sldvCrossReleaseExample_15b,'ProdEqTarget','on');
```
Программное обеспечение генерирует код С для модели и сохранило файлы в месте папки по умолчанию <current_folder>\sldvCrossReleaseExample_15b_ert_rtw.
Сохраните конфигурацию модели модели sldvCrossReleaseExample_15b к MAT-файлу. Этот ConfigSet используется, чтобы установить конфигурацию модели модели в R2018b и более поздних релизах.
```
config_set = getActiveConfigSet('sldvCrossReleaseExample_15b');
copiedConfig = config_set.copy;
save('copiedConfig.mat','copiedConfig');
        
```
В MATLAB R2018b или более поздних релизах, импортируйте компоненты, экспортируемые из R2015b.
1. Прежде чем вы импортируете компоненты в текущем релизе, переименуйте или удалите rtwtypes.h файл, доступный в папке <current_folder>\sldvCrossReleaseExample_15b_ert_rtw. Во время импорта перекрестного релиза MATLAB пытается регенерировать файл с тем же именем. Если вы не удаляете или переименовываете файл rtwtypes.h, MATLAB отображает ошибку.
2. Импортируйте сгенерированный код компонента из R2015b как программное обеспечение в блоке (SIL) цикла.
  crossReleaseImport('sldvCrossReleaseExample_15b_ert_rtw',... 'sldvCrossReleaseExample_15b', 'SimulationMode','SIL');
  crossReleaseImport функция создает неназванную модель, которая содержит программное обеспечение в блоке (SIL) цикла sldvCrossReleaseExample_15b_R2015b_sil.
Добавьте порты Inport и Outport в sldvCrossReleaseExample_15b_R2015b_sil блокируйте и сохраните модель как sldvCrossReleaseExample_sil_18b.

Примените набор конфигурации модели, похожий на модель R2015b.

load('copiedConfig.mat');
attachConfigSet('sldvCrossReleaseExample_sil_18b', copiedConfig, true);
setActiveConfigSet('sldvCrossReleaseExample_sil_18b', copiedConfig.Name);

Установите режим симуляции на Software-in-the-Loop (SIL). Чтобы симулировать модель, в Редакторе Simulink, нажимают кнопку Run.
Чтобы сгенерировать тесты для сгенерированного кода Embedded Coder, на вкладке Design Verifier, выбирают Target> Code Generated as Top Model и нажимают Generate Tests. Для получения дополнительной информации смотрите, Генерируют Тесты для Сгенерированного кода Embedded Coder.
После анализа Simulink Design Verifier программное обеспечение генерирует тесты и сохраняет sldvData в папке в местоположении по умолчанию <current_folder>\sldv_output\sldvCrossReleaseExample_sil_18b.

В R2015b, открытом модель.

open_system('sldvCrossReleaseExample_15b');

Обновите sldvData.ModelInfomation.Name поле в sldvData то же самое как имя модели в более старом релизе. Например, sldvCrossReleaseExample_15b.slx.
Создайте модель тестовой обвязки при помощи sldvData созданный в R2018b или более поздних релизах. Эти данные состоят из тестов, сгенерированных от сгенерированного кода Embedded Coder. В dataFile, введите местоположение sldvData сгенерированный для sldvCrossReleaseExample_sil_18b модель.
```
sldvmakeharness('sldvCrossReleaseExample_15b.slx','dataFile')
```
Чтобы симулировать модель при помощи всех тестов, нажмите кнопку Run all .
Программное обеспечение симулирует все тесты и генерирует отчет покрытия. Отчет указывает, что 100%-е покрытие достигается для sldvCrossReleaseExample_15b модель.

Документация