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
基于扩展有限状态机的类测试用例生成方法