Инфраструктура Modelcheck включена для поддержки неразборных сборок в отчете Modelcheck.
В этом улучшении вводятся следующие новые проверки:
• Опция инициализации конфигурации MC_MRG_EMBED_COMP_ERR - интегрирует счетчики ошибок встроенного компонента в параметр родительской сборки для эффективного управления ошибками. По умолчанию эта проверка отключена.
• MC_MRG_COMP_ERR_IN_TOP_ASM - объединяет счетчики ошибок компонентов в параметр ошибок сборки верхнего уровня. По умолчанию эта проверка отключена.
• MC_RUN_ON_ASM_COMP проверка Modelcheck выполняется в пересеченных компонентах. По умолчанию эта проверка отключена.
Преимущества
Эти проверки предоставляют расширенные возможности для проверки моделей с неразборными сборками.
Дополнительная информация
Советы:
Некоторые проверки отключены по умолчанию, и для их включения их функциональности необходимо настроить на Y.
Ограничения:
Нет известных ограничений.
Заменяет ли это существующую функциональность?
Нет
Опция конфигурации, связанная с этой функциональностью: