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