Сгенерируйте тесты/Обнаруживайте ошибки/Доказывайте свойства
Используйте указанные минимальное и максимальное входные значения
Запустите дополнительный анализ, чтобы уменьшить образцы рационального приближения
Проверьте тесты или контрпримеры с параллельными вычислениями
Задайте опции анализа и сконфигурируйте Simulink® Design Verifier™ вывод.
Задайте режим анализа для Simulink Design Verifier.
По умолчанию:
Test generation
Design error detectionОбнаруживает целочисленные и переполненные ошибки с фиксированной точкой и ошибки деления на нули в модели
Test generationГенерирует тесты для модели.
Property provingДоказывает свойства модели.
Simulink Design Verifier задает значение этой опции, когда вы выбираете одну из следующих опций анализа на вкладке Design Verifier, в Mode разделе:
Выберите Design Error Detection, затем нажмите Detect Design Errors.
Выберите Test Generation, затем нажмите Generate Tests.
Выберите Property Proving, затем нажмите Prove Properties.
Когда вы устанавливаете параметр Mode, кнопка ниже Check Model Compatibility изменяется следующим образом:
Mode: Test generation, кнопка гласит: Generate Tests
Mode: Design error detection, кнопка гласит: Detect Errors
Mode: Property proving, кнопка гласит: Prove Properties
Параметр:
DVMode |
| Тип: символьный массив |
Значение:
'TestGeneration''DesignErrorDetection' | 'PropertyProving' |
По умолчанию:
'TestGeneration' |
Задайте максимальное время (в секундах), которое Simulink Design Verifier тратит на анализ модели. Можно задать значение максимального времени анализа в значение, которое вы готовы предоставить анализу. Можно также остановить анализ в любое время.
По умолчанию:
300
Введенное значение представляет максимальное количество секунд, в течение которого Simulink Design Verifier анализирует вашу модель.
Параметр:
DVMaxProcessTime |
Тип:
double |
| Значение: любое допустимое значение |
По умолчанию:
300 |
Задайте имя пути, которому Simulink Design Verifier запишет свои выходы.
По умолчанию:
sldv_output/$ModelName$
Введите путь, абсолютный или относительный к текущей папке.
$ModelName$ является лексемой, который представляет имя модели.
Можно использовать следующие параметры, чтобы настроить имена и местоположения выхода Simulink Design Verifier:
На панели Results:
Data file name
Harness model file name
Simulink Test options > Test File name
На панели Report:
Report file name
File path of the output model
На панели Block Replacements:
File path of the output model
Параметр:
DVOutputDir |
| Тип: символьный массив |
| Значение: любой допустимый путь |
По умолчанию:
'sldv_output/$ModelName$' |
Укажите, делает ли Simulink Design Verifier свои имена выходных файлов уникальными, добавив числовой суффикс.
По умолчанию: On
НаДобавляет добавочный числовой суффикс к именам выходных файлов Simulink Design Verifier. Выбор этой опции препятствует перезаписи существующих файлов с тем же именем.
ПрочьНе добавляет суффикс к именам выходных файлов Simulink Design Verifier. В этом случае программа может перезаписать существующие файлы с таким же именем.
Параметр:
DVMakeOutputFilesUnique |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |
Запустите проверку, чтобы оценить свою модель на совместимость с Simulink Design Verifier. Для получения дополнительной информации см. Раздел «Проверки Simulink Design Verifier».
Когда вы устанавливаете параметр Mode, эта кнопка изменяется следующим образом:
Mode: Test generation, кнопка гласит: Generate Tests
Для получения дополнительной информации смотрите Что такое генерация теста?.
Mode: Design error detection, кнопка гласит: Detect Errors
Для получения дополнительной информации смотрите Что такой Поиск ошибок проектирования?.
Mode: Property proving, кнопка гласит: Prove Properties
Для получения дополнительной информации см. раздел «Что такое Property Proving?».
Укажите, следует ли перестраивать представление модели для анализа Simulink Design Verifier.
По умолчанию:
If change is detected
AlwaysВсегда перестраивайте представление модели.
If change is detectedПерестраивайте представление модели только тогда, когда программное обеспечение обнаруживает любое изменение модели.
Параметр:
DVRebuildModelRepresentation |
Тип:
character array |
Значение:
'Always''IfChangeIsDetected' |
По умолчанию:
'If change is detected' |
Укажите, игнорировать ли неподдерживаемые блоки и функции во время анализа.
По умолчанию: On
НаИгнорирует неподдерживаемые блоки и функции и продолжает анализ.
ПрочьОтображает предупреждение, когда Simulink Design Verifier встречается с неподдерживаемым блоком или функцией, и спрашивает, хотите ли вы продолжить анализ.
Параметр:
DVAutomaticStubbing |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |
Укажите, следует ли включать поддержку S-функций, которые были скомпилированы, для совместимости с Simulink Design Verifier.
По умолчанию: On
НаВключает поддержку S-функций, которые были скомпилированы, для совместимости с Simulink Design Verifier.
ПрочьSimulink Design Verifier автоматически заглушает S-функции во время анализа.
Параметр:
DVSFcnSupport |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |
Ограничения поддержки и факторов по S-функциям и коду C/C + +
Задайте, генерировать ли тесты, которые рассматривают указанные минимальное и максимальное значения как ограничения для всех входных сигналов в вашей модели.
По умолчанию: On
НаРассматривает заданные минимальное и максимальное значения как ограничения для всех входных сигналов.
ПрочьИгнорирует все указанные минимальное и максимальное значения.
Параметр:
DVDesignMinMaxConstraints |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |
Укажите, пытается ли Simulink Design Verifier уменьшить использование рационального приближения во время анализа.
По умолчанию: On
НаКогда вы используете Simulink Design Verifier для анализа моделей, Simulink Design Verifier пытается уменьшить использование рационального приближения, если модель. Включение этого параметра может увеличить время анализа.
ПрочьSimulink Design Verifier не пытается уменьшить использование рационального приближения во время анализа.
Параметр:
DVReduceRationalApprox |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |
Определяет, следует ли проверять тесты или контрпримеры с параллельными вычислениями. Для этой опции требуется лицензия Parallel Computing Toolbox™.
В целом параллельное выполнение может помочь уменьшить время валидации, если:
У вас есть сложная модель Simulink, которая занимает много времени, чтобы симулировать.
Анализ Simulink Design Verifier превышает максимальное время анализа и приводит к ряду целей со статусом Симуляция. Для получения дополнительной информации смотрите Удовлетворенные цели - Симуляция потребностей и Фальсифицированные цели - Симуляция потребностей.
Анализ генерации тестов генерирует длинные тестовые примеры. Это может быть из-за того, что вы установили Test suite optimization на LongTestcases или Maximum test case steps значение больше значения по умолчанию. Дополнительные сведения см. в разделе Обзор панели генерации тестов.
При использовании параллельных вычислений для валидации необходимо учитывать следующие точки:
Запуск параллельного пула может занять время, что влияет на общее время анализа. Чтобы уменьшить время анализа:
Убедитесь, что параллельный пул уже работает, прежде чем выполнять анализ генерации тестов. По умолчанию параллельный пул отключается после простоя в течение заданного количества минут. Чтобы изменить настройку, смотрите тему «Задайте свои параллельные настройки» в Parallel Computing Toolbox.
Загрузите Simulink на всех работников параллельного пула.
Симуляция происходит последовательно, когда:
Кластер не local. Сконфигурируйте параллельные настройки, чтобы использовать local только кластер. Чтобы изменить настройку, смотрите тему «Задайте свои параллельные настройки» в Parallel Computing Toolbox.
Модель находится в dirty state перед запуском SLDV-анализа.
Модель имеет ToFile блоки.
Модель является внутренней обвязкой.
Функции кросс-продукта, такие как functional testing and coverage analysis из Simulink Test™ Manager, не поддерживают параллельные вычисления для валидации. Для получения дополнительной информации см. «Выполнение функциональной проверки и анализ покрытия теста» (Simulink Test).
По умолчанию: Off
НаЕсли у вас есть лицензия Parallel Computing Toolbox, Simulink Design Verifier проверяет тесты или контрпримеры параллельно между несколькими работниками на одной машине.
ПрочьSimulink Design Verifier проверяет тесты или контрпримеры последовательно.
Параметр:
DVUseParallel |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Укажите дополнительные опции для анализа S-функций, которые были скомпилированы, чтобы быть совместимыми с Simulink Design Verifier. Для получения дополнительной информации смотрите Ограничения поддержки и факторов для S-функций и кода C/C + +.
По умолчанию:
''
Введите дополнительные опции для анализа S-функций, которые были скомпилированы для совместимости с Simulink Design Verifier. Для примера, чтобы задать максимальный размер массивов, введите defaultArraySize = 512.
Параметр:
DVCodeAnalysisExtraOptions |
| Тип: символьный массив |
| Значение: любая допустимая опция для анализа S-функций |
По умолчанию:
'' |
Задайте, чтобы анализировать модель, игнорируя цели в Filter file. Filter file содержит цели покрытия модели для генерации тестов и поиска ошибок проектирования целей, которые вы хотите отфильтровать от анализа.
По умолчанию: Off
НаИгнорирует цели в Filter file во время генерации тестов и поиска ошибок проектирования анализа.
ПрочьГенерирует результаты для всех целей для генерации тестов и анализа поиска ошибок проектирования, включая результаты в Filter file.
Этот параметр включает Filter file.
Параметр:
DVCovFilter |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Фильтрация покрытия ( Simulink Coverage)
Укажите папку и имя файла для файла, содержащего цели покрытия модели для генерации тестов и поиска ошибок проектирования целей, которые вы хотите отфильтровать от анализа.
По умолчанию:
''
Укажите имя папки и файла, содержащих цели, которые вы хотите игнорировать при генерации тестов и поиске ошибок проектирования анализе.
Нажмите кнопку Browse, чтобы выбрать существующее Filter file.
Параметр:
DVCovFilterFileName |
| Тип: символьный массив |
| Значение: любой допустимый путь и имя файла |
По умолчанию:
'' |
Правила и файлы фильтра покрытия ( Simulink Coverage)
Фильтрация целей при помощи средства просмотра фильтров анализа
Перейдите к файлу, который содержит цели, которые вы хотите игнорировать из анализа поиска ошибок проектирования и поколения тестов.
Эта кнопка включена по Ignore objectives based on filter.