Анализируйте Stateflow атомарный подграфик
В графике Stateflow® atomic subchart является графическим объектом, который позволяет вам снова использовать то же состояние или подграфик через несколько графиков и моделей. Можно использовать Simulink® Design Verifier™, чтобы анализировать атомарные подграфики индивидуально. Вы не должны анализировать график, который содержит атомарный подграфик или модель, которая содержит график.
Если у вас есть проблемы при анализе большой модели, анализ атомарного подграфика в управляемой среде полезен. Как описано в Подходе снизу вверх к Анализу модели, путем анализа атомарных подграфиков или других компонентов в иерархии модели индивидуально, можно анализировать модель к:
Решите задачи, которые замедляются или предотвращают генерацию тестов, доказательство свойства или поиск ошибок проектирования.
Анализируйте компоненты модели, которые недостижимы в контексте контейнерной модели или графика.
Примечание
Для получения дополнительной информации об атомарных подграфиках, смотрите, Создают Допускающие повторное использование Субкомпоненты при помощи Атомарных Подграфиков (Stateflow).
Анализируйте атомарный подграфик при помощи Simulink Design Verifier
sf_atomic_sensor_pair модель в качестве примера моделирует избыточную пару датчика использование атомарных подграфиков. Этот пример анализирует Sensor1 подстройте диаграмму в RedundantSensors график.
Откройте
sf_atomic_sensor_pairмодель в качестве примера:Эта модель демонстрирует, как смоделировать простую избыточную пару датчика использование атомарных подграфиков.
Дважды кликните
RedundantSensorsстройте диаграмму, чтобы открыть его.
Эта диаграмма Stateflow имеет два атомарных подграфика:
Sensor1Sensor2
Анализировать
Sensor1подграфик с помощью Simulink Design Verifier, щелкните правой кнопкой по подграфику и выберите Design Verifier> Generate Tests for Subchart.Во время анализа программное обеспечение создает модель Simulink под названием
Sensor1это содержитSensor1подграфик. Новая модель содержит Inport и блоки Outport, которые соответственно соответствуют объектам данныхuиyв подграфике.
Программное обеспечение сохраняет новую модель и другие файлы, сгенерированные анализом в:
<current_folder>/sldv_output/Sensor1
Когда анализ будет завершен, просмотрите результаты анализа для
Sensor1подграфик путем нажатия на одну из следующих опций:Highlight analysis results on model
Generate detailed analysis report
Create harness model
Simulate tests and produce a model coverage report