exponenta event banner

Использование помощника по созданию тестов для определения анализируемых компонентов

Консультант по созданию тестов

Помощник по созданию тестов можно использовать для выбора компонентов модели (атомных подсистем и блоков моделей) для создания тестов. Test Generation Advisor обобщает совместимость тестовой генерации, условия и задачи принятия решений, а также неработоспособную логику для компонентов модели и компонентов модели.

Test Generation Advisor выполняет высокоуровневый анализ и быстрое обнаружение неработающей логики. Результаты можно использовать для лучшего понимания модели перед генерацией теста, особенно для больших моделей, сложных моделей или моделей, для которых нет уверенности в совместимости генерации теста. Например, можно:

  • Определите компоненты, несовместимые с генерацией тестовых примеров.

  • Определение сложных компонентов, анализ которых может занять много времени.

  • Определите экземпляры неработоспособной логики.

  • Получить снимок иерархии компонентов.

  • Получите рекомендуемые параметры формирования теста.

Помощник по созданию тестов классифицирует компоненты как анализируемые, сложные или несовместимые.

  • Анализируемые компоненты совместимы с Simulink ® Design Verifier™. Предварительный анализ показывает, что Simulink Design Verifier может достичь высокого покрытия компонентов.

  • Сложные компоненты также совместимы с Simulink Design Verifier. Однако предварительный анализ показывает, что Simulink Design Verifier может потребовать больше времени и ресурсов для достижения высокого покрытия компонентов из-за сложности компонентов или других факторов. Дополнительные сведения см. в разделе Источники сложности модели.

  • Невозможно создать тесты для несовместимых компонентов. Дополнительные сведения см. в разделе Проверка совместимости модели.

Сводка результатов отображает конкретную информацию о модели и каждом компоненте:

  • Состояние: Совместимость или сложность

  • Задачи: Количество условий и целей принятия решений

  • Dead Logic Detected: количество экземпляров Dead Logic, определенных во время анализа. Это может не включать в себя каждый экземпляр неработающей логики.

  • Решаемые задачи: Процент условий и целей принятия решений, определяемых тестовыми случаями и неработоспособной логикой.

Требования к консультанту по созданию тестов

Для анализа модель должна быть скомпилирована. Кроме того, при изменении имени модели необходимо перезагрузить модель и снова открыть помощник по созданию тестов.

Определение анализируемых компонентов

Чтобы проанализировать модель с помощью Test Generation Advisor, выполните следующие действия:

  1. Откройте модель.

  2. На вкладке Design Verifier в разделе Mode выберите Test Generation, затем щелкните Advisor.

  3. Модель компилируется, и открывается помощник по созданию тестов. Отображается иерархия модели и сводная таблица.

  4. Введите значение времени «Секунды на компонент», которое ограничивает время анализа на компонент. Это значение не включает время для других операций, таких как компиляция.

  5. Выполните анализ, нажав кнопку «Начать анализ». Отслеживайте анализ с помощью индикатора хода выполнения.

  6. Определите несовместимости, сложности и признаки из дерева иерархии компонентов и сводки результатов.

  7. Выполните трассировку из сводки в модель с помощью гиперссылок компонента.

Анализ и генерация тестов для компонентов модели

В этом примере демонстрируются анализ и создание тестов с помощью помощника по созданию тестов. Модель имеет анализируемые и несовместимые подсистемы.

  1. В командной строке введите fuelsys_docreq , чтобы открыть fuelsys_docreq модель.

  2. Сохраните копию модели в доступном для записи месте на пути MATLAB ®.

  3. На вкладке Design Verifier в разделе Mode выберите Test Generation, затем щелкните Advisor.

  4. В текстовом поле «Секунды на компонент» введите 25.

  5. Нажмите кнопку Начать анализ (Start Analysis), чтобы начать анализ модели.

  6. После завершения анализа в дереве компонентов отображаются результаты для всей модели и каждого компонента.

  7. Выделите control logic подсистема в иерархии компонентов. Анализ был частичным, поскольку он определил 87% целей для control logic по тестовым случаям и неработающей логике. Чтобы загрузить сводку генерации теста, щелкните ссылку Показать сводку результатов генерации теста.

    В нижней части сводки в таблице перечислены рекомендуемые параметры генерации теста.

  8. Щелкните гиперссылку Имя компонента. Трассы симулятора к control logic Диаграмма Stateflow ®.

  9. Создайте полный набор тестов для подсистемы. В сводке помощника по созданию тестов для control logicщелкните Извлечь этот компонент и создайте тесты.

Выбор компонентов для тестирования вручную

Если известно, какие компоненты модели необходимо протестировать, можно вручную выбрать эти компоненты. Разбейте модель на компоненты по 100-1000 целей. Используйте sldvextract для извлечения компонентов в новую модель. Затем можно проанализировать отдельные компоненты, начиная с подсистем самого низкого уровня.

Связанные темы