EFSM

基本解釋

Firstly，the EFSM induced by a Finite State Machine（FSM） and its language are introduced.
首先定義了有限狀態(tài)機（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模型中提取出協(xié)議模型的EFSM信息，然後利用變遷可執(zhí)行性分析自動生成可執(zhí)行的測試序列。
In a protocol testing system specified in Extended Finite State Machine (EFSM) model，the executability of the test sequences is a very important issue.
在一個以擴展的有限狀態(tài)機(EFSM)爲模型描述的協(xié)議測試系統(tǒng)中，測試序列的可執(zhí)行性是一個重要的問題。
An improved EFSM model for class test
一種用於類測試的改進型EFSM模型
Method of Class Test Case Generating Based on EFSM
基於擴展有限狀態(tài)機的類測試用例生成方法