Создайте объект опций верификации проекта
Создайте объект опции и установите несколько параметров.
Создайте 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® модель.
options
- Опции верификации проектаВ этой таблице перечислены параметры, которые состоят из объекта Simulink Design Verifier™ options.
Параметр |
Описание |
Значения | |||||
---|---|---|---|---|---|---|---|
| Задайте абсолютное значение допуска в реляционных граничных тестах. |
double | |||||
|
Укажите, включены или отключены блоки Assertion в вашей модели. |
| |||||
| Укажите, игнорирует ли программа неподдерживаемые блоки и функции, и продолжает анализ. |
| |||||
| Укажите, заменяет ли программа блоки в модели перед ее анализом. Когда установлено значение |
| |||||
| Укажите папку и имя файла для модели, которые являются результатом после применения правил замены блоков. Этот параметр активируется, когда |
Символьный массив
| |||||
| Задайте список правил замены блоков, которые выполняются перед его анализом. Этот параметр активируется, когда |
Символьный массив
| |||||
| Дополнительные опции для анализа S-функций, которые были скомпилированы, чтобы быть совместимыми с Simulink Design Verifier. Смотрите Ограничения поддержки и факторов по S-функциям и коду C/C + +. | Символьный массив
| |||||
|
Укажите папку и имя файла для файла, содержащего данные о удовлетворенных целях покрытия. Этот параметр активируется, когда |
Символьный массив
| |||||
| Для генерации тестов и поиска ошибок проектирования анализа укажите, игнорировать ли цели, хранящиеся в файле фильтра покрытия. Когда установлено значение on, этот параметр включает |
| |||||
| Для генерации тестов и поиска ошибок проектирования анализа задайте имя файла фильтра покрытия, которое содержит цели, которые нужно исключить из анализа. Этот параметр активируется, когда |
Символьный массив
| |||||
| Укажите папку и имя файла для MAT-файла, который содержит данные, сгенерированные во время анализа, хранящиеся в |
Символьный массив
| |||||
| Укажите, следует ли проверять, что промежуточные и выходные сигналы в вашей модели находятся в области значений заданных минимальных и максимальных ограничений. |
| |||||
| Укажите, генерирует ли программное обеспечение Simulink Design Verifier тесты, которые рассматривают указанные минимальное и максимальное значения в качестве ограничений для входных сигналов в вашей модели. |
| |||||
| Задайте, анализировать ли вашу модель на активную логику. Этот параметр включен, только если |
| |||||
| Задайте, анализировать ли вашу модель на нарушения входной области значений блоков. Для получения дополнительной информации смотрите Указанные нарушения входного диапазона блоков. |
| |||||
| Задайте, анализировать ли вашу модель на мертвую логику. |
| |||||
| Задайте, анализировать ли вашу модель на ошибки деления на нули. |
| |||||
| Укажите, анализировать ли модель на нарушения доступа к хранилищу данных. |
| |||||
| Задайте, анализировать ли модель на неконечные и NaN значения с плавающей точкой. |
| |||||
| Задайте, анализировать ли вашу модель на целое число и ошибки переполнения данных с фиксированной точкой. |
| |||||
| Задайте, анализировать ли вашу модель на ошибки доступа за пределами массива. |
| |||||
| Задайте, анализировать ли модель на субнормальные значения с плавающей точкой. |
| |||||
|
Отобразите отчет, который генерирует анализ Simulink Design Verifier после завершения анализа. Этот параметр активируется, когда |
| |||||
| Укажите папку и имя файла для MAT-файла, который содержит записанные данные теста. Этот параметр активируется, когда |
Символьный массив
| |||||
| Расширьте анализ Simulink Design Verifier путем импорта тестов, записанных из модели тестовой обвязки или модели симуляции с обратной связью. Когда установлено значение Этот параметр активируется, когда |
| |||||
|
Укажите папку и имя файла для модели тестовой обвязки. Этот параметр активируется, когда |
Символьный массив
| |||||
| Задайте тип блока Входы для модели тестовой обвязки. Этот параметр активируется, когда |
| |||||
|
Задайте, чтобы анализировать модель, игнорируя удовлетворенные цели покрытия, как указано в |
| |||||
|
Игнорируйте цели покрытия, удовлетворенные зарегистрированными тестами в Этот параметр активируется, когда |
| |||||
| Задайте генерацию тестов, которые удовлетворяют реляционным краевым целям. |
| |||||
| Укажите, делает ли программа имена выходных файлов уникальными, добавив числовой суффикс. |
| |||||
| Задайте максимальное время (в секундах), которое Simulink Design Verifier тратит на анализ модели. Можно задать значение максимального времени анализа в значение, которое вы готовы предоставить анализу. Можно также остановить анализ в любое время. | дважды
| |||||
| Задайте максимальное количество шагов моделирования при попытке удовлетворить цель тестирования. В анализе используются Чтобы достичь наилучшей эффективности, установите Когда вы устанавливаете Этот параметр активируется, когда | int32
| |||||
| Задайте максимальное количество шагов симуляции, в течение которых программа ищет нарушения свойств. Этот параметр активируется, когда | int32
| |||||
| Задайте режим анализа. |
| |||||
| Укажите тип покрытия модели, которого необходимо достичь. Когда Этот параметр активируется, когда |
| |||||
|
Используйте блок Model для ссылки на модель, которая запускается в модели тестовой обвязки. |
| |||||
|
Укажите путь, имя которому программа Simulink Design Verifier записывает свои выходы. |
Символьный массив
| |||||
| Укажите, использует ли программное обеспечение строения параметров при анализе модели. Когда установлено значение |
| |||||
| Задайте MATLAB® функция, которая определяет строения параметров для модели. Этот параметр активируется, когда |
Символьный массив
| |||||
| Задайте, чтобы использовать таблицу Конфигурация параметра (Parameter Configuration), чтобы задать строения параметра для модели. Когда установлено значение |
| |||||
|
Укажите, включены или отключены блоки Proof Assumption в вашей модели. |
| |||||
| Укажите стратегию проверки свойств. |
| |||||
| Задайте, использовать ли случайные значения вместо нулей для входных сигналов, которые не имеют влияния на тест или цели доказательства. |
| |||||
| Укажите, следует ли перестраивать представление модели для анализа Simulink Design Verifier. |
| |||||
| Задайте, запускать ли дополнительный анализ, чтобы уменьшить образцы рационального приближения. |
| |||||
|
Задайте относительное значение допуска для использования в реляционных граничных тестах. |
double | |||||
| Укажите папку и имя файла для отчета анализа. Этот параметр активируется, когда |
Символьный массив
| |||||
| Включает снимки свойств экрана в отчет. Действителен только в режиме проверки свойств. Этот параметр активируется, когда |
| |||||
| Симулируйте модель с помощью сигналов теста и включите выходные значения в файл данных Simulink Design Verifier. |
| |||||
| Создайте модель тестовой обвязки, сгенерированную анализом Simulink Design Verifier. Когда Когда установлено значение |
| |||||
| Сгенерируйте и сохраните отчет Simulink Design Verifier. Когда этот параметр установлен в Когда установлено значение |
| |||||
| Включите поддержку S-функций, которые были скомпилированы, чтобы быть совместимыми с Simulink Design Verifier. Смотрите Ограничения поддержки и факторов по S-функциям и коду C/C + +. |
| |||||
| Укажите, использовать ли строгие условия распространения для расширенного анализа MCDC. Этот параметр активируется, когда |
| |||||
|
Укажите, включены ли или отключены блоки Test Condition в вашей модели. Этот параметр активируется, когда |
| |||||
| Укажите цель генерации тестов как модель, код, сгенерированный как верхняя часть или код, сгенерированный как модель-ссылка. | Символьный массив
| |||||
|
Укажите, включены или отключены блоки Цель Тестирования в вашей модели. Этот параметр активируется, когда |
| |||||
| Задайте стратегию оптимизации, которая будет использоваться при генерации тестов. Этот параметр активируется, когда Если вы анализируете свою модель при помощи |
| |||||
| Укажите, следует ли проверять тесты или контрпримеры с параллельными вычислениями. Для этой опции требуется лицензия Parallel Computing Toolbox™. |
|
Чтобы задать опции анализа, на вкладке Design Verifier, в разделе Prepare, в раскрывающемся меню для настроек режима, нажмите Settings.
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.