Статьи и вопросы по тегу "верификация"
Статьи и вопросы по тегу "верификация"
- Все 3
- Статьи 3
- Публикация
- 08.04.2024
Имеется модель с подсистемой и InitFcn блоком.
При инициализации в state writer блок заносится значение параметра, которое затем считывается в подсистеме в блоке unit delay.
В примере - очень простая модель, имитирующая проблему. Все компилится, код ген...
Всем привет! Помогите, пожалуйста найти ответ на вопрос:
Возможно ли выполнение тестирования Back-to-back со State Writer block в Init Function?
Постоянно слетает привязка от state writer в init функции к state reader в подсистеме.
- Публикация
- 03.06.2019
По мере удешевления процессорных ресурсов и памяти встраиваемое программное обеспечение (ПО), применяемое повсеместно, значительно усложняется. Поэтому аспекты, связанные с разработкой систем повышенной надежности, начинают играть все более важную роль. О...
Авторы - Н.В. Богославский, В.М. Понятский, В.Г. Федорищева, П.В. Рословец
Рассмотрена технология проверки разрабатываемой системы управления на ранней стадии проектирования c использованием инструментов MathWorks. Технология поддерживает реализацию подхода «от модели к программе» и включает процедуры создания связи модели с документом требований; проверку модели на соответствие стандартам моделирования; функциональное тестирование модели; анализ на покрытие модели тестами; проверку на ошибки проектирования; доказательство свойств модели и автоматическую генерацию тестов для 100%-ого покрытия модели.
Нет результатов поиска, попробуйте задать другие параметры.