CFSM:通信有限状态机
“Communicating Finite State Machines”通常被缩写为CFSM,以方便在书写和使用过程中快速引用。这一术语在计算机科学及系统设计等综合领域中被广泛使用,但尚未形成统一的分类体系。其中文全称为“通信有限状态机”,用于描述多个有限状态机之间通过消息传递进行交互的模型。
Communicating Finite State Machines具体释义
Communicating Finite State Machines的英文发音
例句
- An interactive synthesis method of N communicating finite state machines
- 一种n个通信有限状态机(CFSM)的交互式生成法
- This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
- 文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
- In the method, communicating multi-port finite state machines was used to model system under testing, and MSC was used to model interoperability test purpose. Test sequences containing the MSC test purpose were generated from system specifications by using global state tracking and backward searching.
- 采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列。
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若CFSM词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。