1) CEFSM
通信扩展有限状态机
1.
SDL system specification and SDL process based on CEFSM were introduced.
介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。
2) EFSM
扩展有限状态机
1.
Research on test sequence generation methods based on EFSM;
基于扩展有限状态机测试序列生成方法研究
2.
Research on the Transformation from State Chart to EFSM;
状态图到扩展有限状态机转换技术研究与实现
3.
Through the analysis of conformance testing text of substation communication protocol and FSM(Finite State Machine),a description method of substation communication protocol conformance test model based on EFSM(Extended Finite State Machine) is defin.
通过对变电站通信协议一致性测试文本和有限状态机(FSM)的分析,定义并提出了基于扩展有限状态机(EFSM)的变电站通信协议的一致性测试模型的描述方法。
3) extended finite state machine
扩展有限状态机
1.
Fault detection based on extended finite state machine model
基于扩展有限状态机模型的故障检测
2.
An SoC interface protocol testbench based on the extended finite state machine(EFSM)and assertion was proposed.
为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平。
3.
A method for testing protocols modeled by EFSM(extended finite state machine) was proposed,which can insure both the control flow and data flow to be covered by test sequences.
为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法。
4) Communication Finite State Machine (CFSM)
通信有限状态机
1.
This paper proposes test sequence generation method for protocol conformance test based Communication Finite State Machine (CFSM).
本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。
5) DEFSM
动态扩展有限状态机
6) extended finite state machines
扩展的有限状态自动机
补充资料：计算机通信网(见计算机通信)
计算机通信网(见计算机通信)
computer communication network
iisuan}1 tongxinwQng计算机通信网(computer。。mmunieationnetwork)见计算机通信。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条