EFSM

常见例句

Firstly，the EFSM induced by a Finite State Machine（FSM） and its language are introduced.
首先定义了有限状态机（FSM）导出的EFSM及其产生的语言。
First, we draw up the information of EFSM from the UML model and then using transition executability analysis, the executable test sequences are generated.
先从UML模型中提取出协议模型的EFSM信息，然后利用变迁可执行性分析自动生成可执行的测试序列。
In a protocol testing system specified in Extended Finite State Machine (EFSM) model，the executability of the test sequences is a very important issue.
在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中，测试序列的可执行性是一个重要的问题。
An improved EFSM model for class test
一种用于类测试的改进型EFSM模型
Method of Class Test Case Generating Based on EFSM
基于扩展有限状态机的类测试用例生成方法
Extended Finite State Machine (EFSM)
扩展有限状态机