Управление сложностью

Обработайте несовместимости, оптимизируйте анализ для больших и сложных моделей

Достаточно большие и сложные модели могут привести к медленным и неполным исследованиям. Когда вы запускаете тесты на модели тестовой обвязки, процент покрытия модели может быть недостаточным для вашего проекта. Анализирование темы Большой модели описывает, как уменьшать сложность большой модели. Что такое Замена Блока? тема описывает, как задать правила заменить блоки автоматически в вашей модели, чтобы лучше удовлетворить целям проекта.

  • Блокируйте замену
    Замените блоки, чтобы настроить анализ или работать вокруг несовместимостей
  • Сокращение сложности
    Управляйте нелинейностью, шаблонами таймера и масштабируемостью, чтобы улучшить анализ сложных моделей

Рекомендуемые примеры

Для просмотра документации необходимо авторизоваться на сайте