Проект панели верификатора

Проект панели Design Verifier

Задайте опции анализа и сконфигурируйте 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, эта кнопка изменяется следующим образом:

Перестроите представление модели

Укажите, следует ли перестраивать представление модели для анализа 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-функций в анализе

Укажите, следует ли включать поддержку S-функций, которые были скомпилированы, для совместимости с Simulink Design Verifier.

Настройки

По умолчанию: On

На

Включает поддержку S-функций, которые были скомпилированы, для совместимости с Simulink Design Verifier.

Прочь

Simulink Design Verifier автоматически заглушает S-функции во время анализа.

Информация о командной строке

Параметр: DVSFcnSupport
Тип: символьный массив
Значение: 'on' | 'off'
По умолчанию: 'on'

См. также

Ограничения поддержки и факторов по S-функциям и коду C/C + +

Конфигурирование S-функции для генерации теста

Указатель с автоматическим заглушением

Используйте указанные минимальное и максимальное входные значения

Задайте, генерировать ли тесты, которые рассматривают указанные минимальное и максимальное значения как ограничения для всех входных сигналов в вашей модели.

Настройки

По умолчанию: 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™.

Когда использовать параллельные вычисления для валидации

В целом параллельное выполнение может помочь уменьшить время валидации, если:

При использовании параллельных вычислений для валидации необходимо учитывать следующие точки:

  • Запуск параллельного пула может занять время, что влияет на общее время анализа. Чтобы уменьшить время анализа:

    • Убедитесь, что параллельный пул уже работает, прежде чем выполнять анализ генерации тестов. По умолчанию параллельный пул отключается после простоя в течение заданного количества минут. Чтобы изменить настройку, смотрите тему «Задайте свои параллельные настройки» в 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.

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

Поддержка

Для просмотра документации необходимо авторизоваться на сайте