Симулируйте модель с помощью входных данных
моделирует 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