Анализируйте 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