EFSM

基本解釋

Firstly，the EFSM induced by a Finite State Machine（FSM） and its language are introduced.
首先定義了有限狀態(tài)機(jī)（FSM）導(dǎo)出的EFSM及其產(chǎn)生的語言。
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.
在一個以擴(kuò)展的有限狀態(tài)機(jī)(EFSM)為模型描述的協(xié)議測試系統(tǒng)中，測試序列的可執(zhí)行性是一個重要的問題。
An improved EFSM model for class test
一種用于類測試的改進(jìn)型EFSM模型
Method of Class Test Case Generating Based on EFSM
基于擴(kuò)展有限狀態(tài)機(jī)的類測試用例生成方法