Этот пример показывает, как уменьшить образцы рационального приближения путем выполнения дополнительного анализа. Вы анализируете модель, и во время анализа Simulink ® Design Verifier™ идентифицирует наличие приближений, и связанные цели сообщаются как неопределенные с тестом.
Вы активируете Запуск дополнительный анализ, чтобы уменьшить образцы рационального приближения опции выполнить дополнительный анализ, чтобы подтвердить неопределенные цели. При повторном запуске анализа кэш Simulink, содержащий информацию о представлении модели, повторно используется для выполнения более быстрого анализа. Для получения дополнительной информации смотрите Повторно использовать представление модели для анализа.
The sldvApproximationsExample моделируйте результаты в приближениях из-за вычислений 1 ./3 и 2 ./3 в блоке Constant.
На вкладке Design Verifier нажмите Generate Tests.
После завершения анализа окно Сводных данных результатов отображений, что одна цель удовлетворена, и одна цель не определена с тестом.
Чтобы просмотреть детальный анализ отчет, в окне Сводных данных результатов щелкните HTML. В отчете в главе «Информация об анализе» перечислены приближения, выполненные во время анализа
В главе «Целевой статус» содержится подробное описание целей.
На неопределенное с целью теста влияет приближение, и для подтверждения этого объективного статуса вы запускаете дополнительный анализ.
(а) На вкладке Design Verifier нажмите Test Generation Settings > Settings.
(b) В диалоговом окне «Параметры строений» на панели Design Verifier в продвинутых параметрах установите для опции Rebuild model representation значение If change is detected и включите Запуск дополнительного анализа, чтобы уменьшить образцы рациональной опции приближения. Нажмите кнопку ОК.
Примечание. Если вы создаете новую модель, по умолчанию опция Перестроить представление модели задается равной If change is detected.
(c) Чтобы выполнить анализ генерации тестов, нажмите «Сгенерировать тесты». Существующий кэш проверяется на соответствие модели, и анализ повторно использует кэш, если изменений не обнаружено.
В окне Сводка результатов (Results Summary) отображается, что представление кэшированной модели проверено и никаких изменений не обнаружено. Следовательно, анализ пропускает проверку совместимости и повторно использует представление модели для анализа.
После завершения анализа в окне Сводных данных результатов отображается, что одна цель удовлетворена, а одна цель неудовлетворительна.
Чтобы просмотреть детальный анализ отчет, в окне Сводных данных результатов щелкните HTML. В этом докладе в главе «Статус целей» содержится подробное описание целей.
