При анализе большой модели программное обеспечение Simulink ® Design Verifier™ может столкнуться с некоторыми из следующих проблем:
Неудовлетворительные цели - программное обеспечение доказало, что нет тестовых случаев, выполняющих эти тестовые цели, и не генерировало тестовых случаев.
Неопределившиеся цели - программное обеспечение не смогло удовлетворить или сфальсифицировать эти цели.
Цели с ошибками - эта проблема обычно возникает, когда компонент модели использует нелинейную арифметику, которая может повлиять на цель теста.
Невозможно завершить анализ за отведенное время - эта проблема может указывать на область модели, в которой программное обеспечение столкнулось с проблемами, или может потребоваться увеличить значение параметра Максимальное время анализа.
Анализ зависает. Если количество обработанных целей остается постоянным в течение значительного периода времени, программное обеспечение, вероятно, столкнулось со сложностью между моделью и ее целями.
Не достигает высокого процента покрытия модели - при выполнении тестовых примеров на модели кабельных трасс процент покрытия модели недостаточен для проекта.
В следующих разделах описываются начальные шаги, которые необходимо предпринять при анализе большой модели. Хотя эти шаги направлены на создание теста, можно использовать аналогичный подход при обнаружении ошибок конструкции или проверке свойств в модели.
Можно использовать Test Generation Advisor для суммирования совместимости генерации тестов, условий и целей принятия решений, а также неработоспособной логики для компонентов модели и модели.
Test Generation Advisor выполняет высокоуровневый анализ и быстрое обнаружение неработающей логики. Можно использовать результаты, чтобы лучше понять модель, особенно крупные модели, сложные модели или модели, для которых вы не уверены в их совместимости с Simulink Design Verifier. Например, можно:
Определите несовместимость с генерацией тестового случая.
Определение сложных компонентов, анализ которых может занять много времени.
Определите экземпляры неработоспособной логики.
Получение сводки иерархии компонентов.
Получите рекомендуемые параметры формирования теста.
Чтобы получить доступ к помощнику по созданию тестов, на вкладке Design Verifier в разделе Mode (Режим) щелкните Test Generation (Создание тестов). В разделе Подготовка щелкните Помощник. Дополнительные сведения см. в разделе Использование помощника по созданию тестов для определения анализируемых компонентов.
При создании тестовых примеров обычно следует начинать с анализа модели с использованием значений параметров по умолчанию Simulink Design Verifier:
Проверьте, совместима ли модель с Simulink Design Verifier, как описано в разделе Проверка совместимости модели.
Используя значения параметров по умолчанию, проанализируйте модель. В следующей таблице перечислены значения по умолчанию для параметров в диалоговом окне Параметры конфигурации (Configuration Parameters), которые могут быть изменены при анализе больших моделей.
| Параметр | Значение по умолчанию | Описание |
|---|---|---|
| Максимальное время анализа | 300 (секунды) | Если анализ не завершится в течение указанного времени, то анализ истечет и завершится. |
| Оптимизация набора тестов | CombinedObjectives (Nonlinear extended) | Создает тестовые примеры, которые адресуют несколько тестовых целей, как в случае |
| Цели модельного покрытия | Condition/Decision | Создает тестовые примеры, которые обеспечивают покрытие условий и принятия решений. |
Просмотрите следующую информацию в окне журнала Simulink Design Verifier во время выполнения анализа:
Количество обработанных задач - сколько задач было обработано? Висел ли анализ после обработки определенного количества целей? Ответы на эти вопросы могут дать вам представление о том, где может лежать проблема.
Количество удовлетворенных целей/Количество сфальсифицированных целей - Какие цели были сфальсифицированы?
Истекло ли время - истекло ли время анализа или он закончился в течение указанного максимального времени анализа?
По завершении анализа можно выделить результаты в модели и по отдельности просмотреть анализ каждого объекта модели, как описано в разделе Подсвеченные результаты в модели. Можно также создать и просмотреть HTML-отчет Simulink Design Verifier. Этот отчет содержит ссылки на элементы модели для удовлетворенных и сфальсифицированных целей, чтобы можно было увидеть, какие части модели могут иметь проблемы. Дополнительные сведения см. в разделе Отчеты Simulink Design Verifier.
Для анализа генерации теста, если все цели теста были выполнены, выполните тесты на модели кабельных трасс, чтобы определить охват модели.
Если покрытия модели достаточно для вашей конструкции, больше ничего делать не нужно. Если охват недостаточен, выполните дополнительные действия для повышения производительности анализа, как описано в следующих разделах.
Примечание
Большой процент фальсифицированных целей и плохое покрытие модели часто указывают на необходимость изменения значений параметров модели для получения полного покрытия. Это может произойти при наличии настраиваемых параметров в постоянных блоках, подключенных к включенным подсистемам или к триггерным входам коммутационных блоков. В этих ситуациях настройте поддержку параметров Simulink Design Verifier, как описано в примере «Укажите значения ограничений параметров для полного покрытия».
Если анализ удовлетворяет большинству, но не всем целям, попробуйте выполнить следующие шаги:
Увеличьте параметр Максимальное время анализа (Maximum analysis time). Это дает анализу больше времени для достижения всех целей.
Установите для параметра Model coverage targets значение Decision. При выборе этой опции генерируются только те тестовые случаи, которые обеспечивают покрытие принятия решений. Эти тестовые случаи являются подмножеством MCDC вариант.
Повторно запустите анализ и просмотрите отчет.
Если результаты все еще неудовлетворительны, попробуйте методы, описанные в следующих разделах.
Задайте для параметра Оптимизация набора тестов значение LargeModel или LargeModel (Nonlinear Extended)и повторно запустите анализ Simulink Design Verifier.
Стратегии оптимизации больших моделей разработаны для больших сложных моделей. LargeModel (Nonlinear Extended) стратегия включает улучшенную поддержку нелинейной арифметики. Эти две стратегии могут улучшить или не улучшить результаты анализа настолько, чтобы полностью протестировать дизайн.
Если у вас есть нерешенные задачи, которые вы хотите, чтобы программное обеспечение генерировать, продолжайте со следующими методами.
Просмотрите значение обработанных целей в окне журнала. Если прошло около 50% максимального значения параметра времени анализа, и это значение не увеличивается, при анализе модели могут возникнуть проблемы с обработкой определенных целей. Если анализ не выполняется, выполните следующие действия.
Нажмите кнопку Stop в окне журнала.
Появится диалоговое окно с сообщением о том, что анализ был прерван, и запросом о необходимости получения результатов.
Щелкните Да (Yes), чтобы сохранить результаты анализа.
В окне журнала перечислены следующие опции, в зависимости от выполняемого режима анализа:
Выделение результатов анализа на модели
Создание подробного отчета об анализе
Создание модели кабельных трасс
Моделирование тестов и создание отчета о покрытии модели
Щелкните Создать подробный отчет об анализе (Generate detailed analysis report).
В HTML-отчете просмотрите следующие разделы, чтобы определить элементы модели, вызывающие проблемы:
Задачи не определены, когда анализ был остановлен
Цели, приводящие к ошибкам
Просмотрите элементы модели, которые имеют неопределившиеся цели или задачи, с ошибками, чтобы выяснить, имеются ли какие-либо из следующих проблем. Для улучшения анализа обратитесь к соответствующей документации.
| Проблема в модели | Дополнительная информация |
|---|---|
Вводы с плавающей запятой | |
Нелинейные операции | |
Большие пространства состояний | |
Большие таймеры и временные задержки |