Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Четверг
21 ноября
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Микроконтроллеры
954170
Топик полностью
s_h_e
(21.10.2019 12:16, просмотров: 686)
ответил
=AlexD=
на
Логика переходов в КА понятна ровно до того момента, пока в эту логику не пытаешься впихнуть ожидание кучи разных событий неблокируемым способом, после этого логика превращается в "тыкву", которую хрен поймёшь. ОСь позволяет неблокируемость
Совершенно неочевидное утверждение. К вершине графа состояний сколько угодно ребер подходить может, откуда там сразу тыква?
Ответить
Логика конечно может быть сколь угодно сложной, но охватить силою мысли довольно тяжело, и написать юнит тесты для 100500 состояний можно, но забибикаешься.
-
=AlexD=
(22.10.2019 06:15
)
В общем, fk0 отписался уже. Любой активный bool флажок или бинарный семафор увеличивает кол-во возможных состояний подсистемы вдвое, и делает это неявно. Для неявных состояний юнит тесты никто не пишет конечно же, что дает видимость легкой жизни.
s_h_e
(152 знак., 22.10.2019 08:23
)