В этом примере показано, как достигнуть недостающего покрытия путем расширения существующих тестов после применения настроек параметра.
В этом примере вы генерируете тесты для модели и рассматриваете результаты анализа. Результаты показывают, что модель состоит из невыполнимых целей и не достигает полного охвата. Затем вы применяете настройки параметра в модели и снова используете ранее сгенерированные тесты, чтобы достигнуть полного покрытия модели.
sldvexParameterController модель является моделью круиз-контроля, которая контролирует скорость дросселя путем выбора P Controller или PI Controller. ControllerModeSelection подсистема использует SelectMode параметр, чтобы выбрать режим контроллера. Задайте перечислимый тип данных для Selectmode при помощи функционального Simulink.defineIntEnumType. Для получения дополнительной информации о перечисляемых значениях смотрите Использование Перечислимые Данные в Моделях Simulink (Simulink).
Simulink.defineIntEnumType('EnumForControllerSelection',... {'Pmode','PImode'},[1;2]); SelectMode = Simulink.Parameter; SelectMode.Value = EnumForControllerSelection.Pmode; model = 'sldvexParameterController'; open_system(model);
Установите sldvoptions и анализируйте модель при помощи заданных опций.
opts = sldvoptions; opts.Mode = 'TestGeneration'; opts.ModelCoverageObjectives = 'MCDC'; [ status, files ] = sldvrun(model, opts, true);
После того, как анализ завершается, отображения окна Results Summary что 15 из 54 цели невыполнимы.
В окне Results Summary нажмите результаты анализа Highlight на модели. Дважды кликните ControllerModeSelection подсистема. PI_ModeSelection и P_ModeSelection подсистемы подсвечены в красном и состоят из невыполнимых целей.
Чтобы просмотреть отчет покрытия модели, в окне Results Summary, нажимают тесты Simulate и представляют отчет покрытия модели. Отчет показывает, что модель не достигает полного охвата.
Полный охват не достигается потому что значение параметров SelectMode ограничивается значением по умолчанию EnumForControllerSelection.Pmode. Следовательно, полный охват не достигается для PI_ModeSelection подсистема.
Если вы применяете настройки параметра, Simulink Design Verifier обрабатывает параметр как переменную во время анализа и ограничений значения на основе ограничительных значений, которые вы задаете.
Примените настройки параметра для SelectMode параметр путем определения ограничительных значений для parameterValue.
controlParameter = [ {'SelectMode'}];
parameterValue = [ {'[EnumForControllerSelection.Pmode EnumForControllerSelection.PImode]'}];
opts.Parameters = 'on';
opts.ParametersUseConfig = 'on';
opts.ParameterNames = controlParameter;
opts.ParameterConstraints = parameterValue;
opts.ParameterUseInAnalysis = {'on'};
Чтобы снова использовать ранее сгенерированные тесты, сконфигурируйте аналитическую опцию, чтобы расширить существующие тесты и задать существующий тестовый файл.
opts.ExtendExistingTests = 'on'; opts.IgnoreExistTestSatisfied = 'off'; opts.ExistingTestFile = files.DataFile;
Анализируйте модель при помощи заданных опций.
[status, fileNames] = sldvrun(model, opts, true);
После того, как анализ завершается, отображения окна Results Summary, что всем целям удовлетворяют.
Чтобы сгенерировать отчет покрытия модели, нажмите тесты Simulate и представьте отчет покрытия модели. Отчет показывает, что модель достигает полного охвата.
Чтобы завершить этот пример, закройте модель.
close_system('sldvexParameterController', 0);