提出了一种反应式系统选择性测试方法。
A selective testing method for reactive systems is presented.
该语言不仅适合处理突发性高速数据流，也适用于反应式系统设计。
It is not only suit for high speed burst data flow processing, but also can be used in reactive system design.
有限状态机用于对系统的动态行为建模，一般用状态图来可视化表示，是对反应式系统建模的一种强大工具。
Finite state machine is used for the dynamic behavior of system modeling, which is represented by visual state chart. And the finite state machine is a powerful tool of reaction system modeling.
应用推荐