Можно использовать Советника по вопросам Генерации тестов, чтобы выбрать компоненты модели (атомарные подсистемы и блоки модели) для генерации тестов. Советник по вопросам Генерации тестов обобщает совместимость генерации тестов, условие и цели решения и мертвую логику для компонентов модели и компонентов модели.
Советник по вопросам Генерации тестов выполняет высокоуровневый анализ и быстрое обнаружение мертвой логики. Можно использовать результаты лучше понять модель перед генерацией тестов, особенно для больших моделей, сложных моделей или моделей, для которых вы не уверены в совместимости генерации тестов. Например, вы можете:
Идентифицируйте компоненты, которые несовместимы с генерацией теста.
Идентифицируйте комплексные компоненты, которые могут быть длительными, чтобы анализировать.
Определите экземпляры мертвой логики.
Получите снимок состояния иерархии компонентов.
Получите рекомендуемые параметры генерации тестов.
Советник по вопросам Генерации тестов классифицирует компоненты как анализируемые, комплексные, или несовместимые.
Поддающиеся анализу компоненты совместимы с Simulink® Design Verifier™. Предварительный анализ указывает, что Simulink Design Verifier может достигнуть высокого покрытия компонента.
Комплексные компоненты также совместимы с Simulink Design Verifier. Однако предварительный анализ указывает, что Simulink Design Verifier может потребовать, чтобы больше времени и ресурсов достигли высокого покрытия компонента из-за сложности компонента или других факторов. Для получения дополнительной информации смотрите Источники Сложности Модели.
Вы не можете сгенерировать тесты для несовместимых компонентов. Для получения дополнительной информации смотрите Совместимость Модели Проверки.
Сводные данные результатов отображают определенную информацию о модели и каждом компоненте:
Состояние: совместимость или сложность
Objectives: количество условия и целей решения
Dead Logic Detected: количество экземпляров мертвой логики, решенной во время анализа. Эта сила не включает каждый экземпляр мертвой логики.
Objectives Decided: процент условия и целей решения, определенных тестами и мертвой логикой.
Для анализа ваша модель должна скомпилировать. Кроме того, если вы меняете имя модели, необходимо перезагрузить модель и вновь открыть Советника по вопросам Генерации тестов.
Чтобы анализировать вашу модель с помощью Советника по вопросам Генерации тестов, следуйте за этим высокоуровневым рабочим процессом:
Откройте свою модель.
Из панели меню нажмите Analysis > Design Verifier > Generate Tests > Advisor.
Ваши образцовые компиляции и Советник по вопросам Генерации тестов открываются. Это отображает иерархию модели и сводную таблицу.
Введите временную стоимость для Seconds per component, который ограничивает аналитическое время на компонент. Это значение не включает время для других операций, таких как компиляция.
Запустите анализ путем нажатия кнопки Start Analysis
. Отследите анализ с помощью индикатора хода выполнения.
Определите несовместимости, сложности и характеристики от дерева иерархии компонентов и сводных данных результатов.
Проследите от сводных данных до модели с помощью гиперссылок компонента.
Этот пример демонстрирует анализ и генерацию тестов с помощью Советника по вопросам Генерации тестов. Модель в качестве примера имеет анализируемые и несовместимые подсистемы.
В командной строке введите fuelsys, чтобы открыть модель fuelsys.
Сохраните копию модели в перезаписываемом месте на пути MATLAB®.
Нажмите Analysis > Design Verifier > Generate Tests > Advisor, чтобы открыть Советника по вопросам Генерации тестов.
В текстовом поле Seconds per component введите 25.
Нажмите кнопку Start Analysis, чтобы начать анализ модели.
После того, как анализ завершен, древовидные результаты отображений компонента для полной модели и каждого компонента.
Подсветите подсистему control logic в иерархии компонентов. Анализ был частичным, в котором он определил 87% целей для control logic тестами и мертвой логикой. Чтобы загрузить сводные данные генерации тестов, щелкните по ссылке Show test generation results summary.
В нижней части сводных данных таблица приводит рекомендуемые параметры генерации тестов.
Кликните по гиперссылке Component name. Simulink прослеживает до графика control logic Stateflow®.
Сгенерируйте полный набор тестов для подсистемы. В Советнике по вопросам Генерации тестов сводные данные для control logic нажмите Extract this component and generate tests.
Если вы знаете, какие компоненты модели, которые вы хотите протестировать, можно вручную выбрать эти компоненты. Сломайте модель на компоненты 100–1000 целей каждый. Используйте функцию sldvextract, чтобы извлечь компоненты в новую модель. Можно затем анализировать отдельные компоненты, начиная с подсистем самого низкого уровня.
