Используйте Генерация Тестов Advisor для идентификации анализируемых компонентов

Советник по генерации тестов

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

Генерация тестов Advisor выполняет высокоуровневый анализ и быстрое обнаружение мертвой логики. Можно использовать результаты, чтобы лучше изучить модель перед генерацией тестов, особенно для больших моделей, сложных моделей или моделей, для которых вы не уверены в совместимости генерации тестов. Для примера можно:

Идентифицируйте компоненты, которые несовместимы с генерацией теста.
Идентифицируйте сложные компоненты, которые могут быть длительными для анализа.
Определите образцы мертвой логики.
Получите моментальный снимок иерархии компонентов.
Получите рекомендуемые параметры генерации тестов.

Генерация тестов Advisor классифицирует компоненты как анализируемые, сложные или несовместимые.

Анализируемые компоненты совместимы с Simulink^® Design Verifier™. Предварительный анализ показывает, что Simulink Design Verifier может достичь высокого охвата компонентов.
Сложные компоненты также совместимы с Simulink Design Verifier. Однако предварительный анализ показывает, что Simulink Design Verifier может потребовать больше времени и ресурсов для достижения высокого покрытия компонента из-за сложности компонента или других факторов. Для получения дополнительной информации см. «Источники сложности модели».
Вы не можете сгенерировать тесты для несовместимых компонентов. Для получения дополнительной информации смотрите Проверка совместимости Модели.

В сводных данных результатов отображается определенная информация о модели и каждом компоненте:

Status: Совместимость или сложность
Objectives: Количество условий и целей принятия решений
Dead Logic Detected: Количество образцов мертвой логики, определенных во время анализа. Это может включать не все образцы мертвой логики.
Objectives Decided: Процент условий и целей принятия решений, определяемых тестами и мертвой логикой.

Генерация тестов Advisor

Для анализа ваша модель должна скомпилироваться. Кроме того, если вы измените имя модели, необходимо перезагрузить модель и снова открыть Генерация Тестов Advisor.

Идентифицируйте анализируемые компоненты

Чтобы проанализировать модель с помощью Генерация Тестов Advisor, следуйте этому высокоуровневому рабочему процессу:

Откройте свою модель.
На вкладке Design Verifier, в разделе Mode, выберите Test Generation, а затем нажмите Advisor.
Ваша модель компилируется, и открывается Генерация тестов Advisor. В нем отображается иерархия модели и сводная таблица.
Введите значение времени для Seconds per component, которое ограничивает время анализа для каждого компонента. Это значение не включает время для других операций, таких как компиляция.
Запустите анализ, нажав кнопку Start Analysis. Отслеживайте анализ с помощью индикатора хода выполнения.
Определите несовместимости, сложности и характеристики из дерева иерархии компонентов и сводных данных результатов.
Проследите из сводных данных в модель с помощью гиперссылок компонента.

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

Этот пример демонстрирует анализ и генерацию тестов с помощью Test Generation Advisor. Пример модели имеет анализируемые и несовместимые подсистемы.

В командной строке введите fuelsys_docreq чтобы открыть fuelsys_docreq модель.
Сохраните копию модели в месте с возможностью записи на MATLAB^® путь.
На вкладке Design Verifier, в разделе Mode, выберите Test Generation, а затем нажмите Advisor.
В Seconds per component текстовом поле введите 25.
Нажмите кнопку Start Analysis, чтобы начать анализ модели.
После завершения анализа в дереве компонентов отображаются результаты для общей модели и каждого компонента.
Выделите control logic подсистема в иерархии компонентов. Анализ был частичным, поскольку он определил 87% целей для control logic по тестам и мертвой логике. Чтобы загрузить сводные данные по генерации тестов, щелкните ссылку Show test generation results summary.
В нижней части сводных данных в таблице перечислены рекомендуемые параметры генерации тестов.
Щелкните гиперссылку Component name. Simulink трассируется к control logic Stateflow^® график.
Сгенерируйте полный набор тестов для подсистемы. В Генерацию тестов Advisor сводных данных для control logic, нажмите Extract this component and generate tests.

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

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

Документация