EFSM

基本解釋

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