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