Симулируйте модель с помощью входных данных
outData = slvnvruntest(model, dataFile)model при помощи всех тестов в dataFile. outData является массивом Simulink.SimulationOutput
[ моделирует outData, covData]
= slvnvruntest(model, dataFile, runOpts)model при помощи тестов в dataFile. Когда runOpts полевые coverageEnabled является true, the Simulink® Coverage™ программа собирает информацию о покрытии модели во время симуляции. slvnvruntest возвращает данные о покрытии в cvdata covData объекта.
% Analyze the sldemo_mdlref_basic model and log the input signals to the CounterA Model block: open_system('sldemo_mdlref_basic'); loggedData = slvnvlogsignals('sldemo_mdlref_basic/CounterA'); % Using the logged signals, simulate the model referenced in the Counter block (sldemo_mdlref_counter): runOpts = slvnvruntestopts; runOpts.coverageEnabled = true; open_system('sldemo_mdlref_counter'); [ outData ] = slvnvruntest('sldemo_mdlref_counter',... loggedData, runOpts); % Examine the output data from the first test case using the Simulation Data Inspector: Simulink.sdi.createRun('Test Case 1 Output', 'namevalue',... {'output'}, {outData(1).find('logsout_slvnvruntest')}); Simulink.sdi.view;
The dataFile который вы создаете с анализом Simulink Design Verifier или путем выполнения slvnvlogsignals содержит временные значения и значения данных. Когда вы моделируете модель при помощи этих тестов, вы можете увидеть недостающее покрытие. Эта проблема возникает, когда значения времени в dataFile не выровнены с текущим временным шагом симуляции из-за числовых различий вычисления. Вы чаще видите эту проблему с многоскоростными моделями - моделями, которые имеют несколько шагов расчета.
Для useParallelпри симуляции тестов с помощью параллельных вычислений необходимо учитывать следующие точки:
Запуск параллельного пула может занять время, что влияет на общее время анализа. Чтобы уменьшить время анализа:
Убедитесь, что параллельный пул уже работает, прежде чем выполнять анализ генерации тестов. По умолчанию параллельный пул отключается после простоя в течение заданного количества минут. Чтобы изменить настройку, смотрите Задать свои параллельные настройки (Parallel Computing Toolbox).
Загрузите Simulink на всех работников параллельного пула.
Симуляция происходит последовательно, когда:
Кластер не local. Сконфигурируйте параллельные настройки, чтобы использовать local только кластер. Смотрите раздел «Задайте свои параллельные настройки» (Parallel Computing Toolbox).
Модель находится в dirty state перед запуском SLDV-анализа.
Модель имеет ToFile блоки.
Модель в режиме симуляции Программное обеспечение в цикле (SIL).
Модель является внутренней обвязкой.
cvsim | cvtest | sim | slvnvruntestopts
