Создайте объект опций верификации проекта
options = sldvoptions
options = sldvoptions(model)
Создайте объект опций и установите несколько параметров.
Создайте опцию opts
для модели sldvdemo_cruise_control
:
opts = sldvoptions; opts.AutomaticStubbing = 'on'; opts.Mode = 'TestGeneration'; opts.ModelCoverageObjectives = 'MCDC'; opts.ReportIncludeGraphics = 'on'; opts.SaveHarnessModel = 'off'; opts.SaveReport = 'off'; opts.TestSuiteOptimization = 'LongTestCases';
Получите объект опций для модели sldvdemo_cruise_control
:
sldvdemo_cruise_control optsModel = sldvoptions(bdroot); optsCopy = optsModel.deepCopy; optsCopy.MaxProcessTime = 120;
model
— Назовите или обработайте к моделиНазовите или обработайте к модели Simulink®.
опции
Опции для верификации проектаЭта таблица приводит параметры, которые включают объект опций Simulink Design Verifier™.
Параметр |
Описание |
Значения | |||||
---|---|---|---|---|---|---|---|
| Задайте абсолютное значение для допуска в реляционных граничных испытаниях. |
двойной | |||||
|
Задайте, включены ли блоки Утверждения в вашей модели или отключены. |
| |||||
| Задайте, игнорирует ли программное обеспечение неподдерживаемые блоки и функции и возобновляет анализ. |
| |||||
| Задайте, заменяет ли программное обеспечение блоки в модели перед ее анализом. Когда установлено в |
| |||||
| Задайте папку и имя файла для модели, которая является результатом после применения заменяющих правил блока. Этот параметр включен, когда |
массив символов
| |||||
| Задайте список заменяющих правил блока, которые выполняются перед ее анализом. Этот параметр включен, когда |
массив символов
| |||||
| Дополнительные опции для анализа S-функций, которые были скомпилированы, чтобы быть совместимыми с Simulink Design Verifier. Смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций. | массив символов
| |||||
|
Задайте папку и имя файла для файла, который содержит данные об удовлетворенных целях покрытия. Этот параметр включен, когда |
массив символов
| |||||
|
Для анализа генерации тестов задайте, проигнорировать ли цели тестирования, сохраненные в файле фильтра покрытия. Когда установлено в на, этот параметр включает |
| |||||
| Для генерации тестов задайте имя для файла фильтра покрытия, который содержит цели тестирования, чтобы исключить из анализа. Этот параметр включен, когда |
массив символов
| |||||
|
Задайте папку и имя файла для MAT-файла, который содержит данные, сгенерированные во время анализа, сохраненного в структуре Этот параметр включен, когда |
массив символов
| |||||
| Задайте, проверять ли, что промежуточные и выходные сигналы в вашей модели в области значений заданных минимальных и максимальных ограничений. Этот параметр отключен, когда |
| |||||
| Задайте, генерирует ли программное обеспечение Simulink Design Verifier тесты, которые рассматривают заданные минимальные и максимальные значения как ограничения для входных сигналов в вашей модели. |
| |||||
| Задайте, анализировать ли вашу модель для активной логики. Этот параметр включен, только если |
| |||||
| Задайте, анализировать ли вашу модель для мертвой логики. Когда установлено в |
| |||||
| Задайте, анализировать ли вашу модель для ошибок деления на нуль. Этот параметр отключен, когда |
| |||||
| Задайте, анализировать ли вашу модель для неличного и NaN значения с плавающей точкой. Этот параметр отключен, когда |
| |||||
| Задайте, анализировать ли вашу модель для ошибок переполнения данных целочисленной и фиксированной точки. Этот параметр отключен, когда |
| |||||
| Задайте, анализировать ли вашу модель для за пределы ошибок доступа к массиву. Этот параметр отключен, когда |
| |||||
| Задайте, анализировать ли вашу модель для субнормальных значений с плавающей точкой. Этот параметр отключен, когда |
| |||||
|
Отобразите отчет, что анализ Simulink Design Verifier генерирует после завершения его анализа. Этот параметр включен, когда |
| |||||
|
Задайте, вывести ли предупреждения, если анализ обнаруживает невыполнимые цели тестирования. Этот параметр включен, когда |
| |||||
| Задайте папку и имя файла для MAT-файла, который содержит регистрируемые данные о тесте. Этот параметр включен, когда Когда вы конфигурируете Simulink Design Verifier, чтобы обработать параметры как переменные в анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. Если вы задаете свою модель, чтобы расширить существующие тесты с |
массив символов
| |||||
| Расширьте анализ Simulink Design Verifier путем импорта тестов, регистрируемых от модели тестовой обвязки или имитационной модели с обратной связью. Когда установлено в Этот параметр включен, когда Когда вы конфигурируете Simulink Design Verifier, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. Если вы задаете свою модель, чтобы расширить существующие тесты с |
| |||||
|
Задайте папку и имя файла для модели тестовой обвязки. Этот параметр включен, когда |
массив символов
| |||||
| Задайте тип блока Inputs для модели тестовой обвязки. Этот параметр включен, когда |
| |||||
|
Задайте, чтобы анализировать модель, игнорируя удовлетворенные цели покрытия, как задано в |
| |||||
|
Проигнорируйте цели покрытия, удовлетворенные регистрируемыми тестами в Этот параметр включен, когда |
| |||||
| Задайте генерацию тестов, которые удовлетворяют реляционные граничные цели. |
| |||||
| Задайте, делает ли программное обеспечение свои имена выходного файла уникальными путем добавления числового суффикса. |
| |||||
| Задайте максимальное время (в секундах) для анализа модели. |
'double'
| |||||
| Задайте максимальное количество шагов симуляции при попытке удовлетворить цель тестирования. Анализ использует параметр Чтобы достигнуть лучшей производительности, установите параметр Когда вы устанавливаете параметр Этот параметр включен, когда | int32
| |||||
| Укажите, что максимальное количество симуляции переступает, который программное обеспечение ищет нарушения свойства. Этому параметру включают, when |
int32
| |||||
| Задайте аналитический режим. |
| |||||
| Задайте тип покрытия модели, чтобы достигнуть. Когда Этот параметр включен, когда |
| |||||
|
Используйте блок Model, чтобы сослаться на модель, чтобы запуститься в модели тестовой обвязки. |
| |||||
|
Задайте путь, в который программное обеспечение Simulink Design Verifier пишет свой вывод. |
массив символов
| |||||
| Задайте, использует ли программное обеспечение настройки параметра при анализе модели. Когда установлено в |
| |||||
| Задайте функцию MATLAB®, которая задает настройки параметра для модели. Этот параметр включен, когда Когда вы конфигурируете программное обеспечение, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. Если вы задаете свою модель, чтобы расширить существующие тесты с |
массив символов
| |||||
| Задайте, чтобы использовать таблицу Parameter Configuration, чтобы задать настройки параметра для модели. Когда установлено в Когда вы конфигурируете программное обеспечение, чтобы обработать параметры как переменные в его анализе, вы не можете также использовать анализ, чтобы расширить существующие тесты. Если вы задаете свою модель, чтобы расширить существующие тесты с |
| |||||
|
Задайте, включены ли блоки Предположения Доказательства в вашей модели или отключены. |
| |||||
| Задайте стратегию доказательства свойств. |
| |||||
|
Задайте, использовать ли случайные значения вместо нулей для входных сигналов, которые не оказывают влияния на тест или цели доказательства. Этот параметр включен, когда |
| |||||
| Задайте, восстановить ли представление модели для анализа Simulink Design Verifier. |
| |||||
| Задайте, запустить ли дополнительный анализ, чтобы уменьшать экземпляры рационального приближения. |
| |||||
|
Задайте относительное значение для допуска, который будет использоваться в реляционных граничных испытаниях. |
двойной | |||||
| Задайте папку и имя файла для аналитического отчета. Этот параметр включен, когда |
массив символов
| |||||
| Включает снимки экрана свойств в отчете. Допустимый только в доказывающем свойство режиме. Этот параметр включен, когда |
| |||||
| Сохраните тестовые данные, которые анализ генерирует к MAT-файлу. Когда установлено в |
| |||||
| Моделируйте модель при помощи сигналов теста и включайте выходные значения в файл данных Simulink Design Verifier. Этот параметр включен, когда |
| |||||
| Создайте модель тестовой обвязки, сгенерированную анализом Simulink Design Verifier. Когда Когда установлено в |
| |||||
| Сгенерируйте и сохраните отчет Simulink Design Verifier. Когда этот параметр устанавливается на Когда установлено в |
| |||||
| Включите поддержку S-функций, которые были скомпилированы, чтобы быть совместимыми с Simulink Design Verifier. Смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций. |
| |||||
| Задайте, использовать ли строгие условия распространения для расширенного анализа MCDC. Этот параметр включен, когда |
| |||||
|
Задайте, включены ли блоки Условия испытания в вашей модели или отключены. Этот параметр включен, когда |
| |||||
| Задайте цель генерации тестов как модель, код, сгенерированный как топ-модель или код, сгенерированный как модель - ссылка. | массив символов
| |||||
|
Задайте, включены ли блоки Цели тестирования в вашей модели или отключены. Этот параметр включен, когда |
| |||||
| Задайте стратегию оптимизации использовать при генерации тестов. Этот параметр включен, когда Если вы анализируете свою модель при помощи |
|
В Редакторе Simulink выберите Analysis> Design Verifier> Options, чтобы установить аналитические опции Simulink Design Verifier.
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.