常見(jiàn)例句Firstly,the EFSM induced by a Finite State Machine(FSM) and its language are introduced. 首先定義了有限狀態(tài)機(jī)(FSM)導(dǎo)出的EFSM及其産生的語(yǔ)言。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è)重要的問(wèn)題。An improved EFSM model for class test 一種用於類(lèi)測(cè)試的改進(jìn)型EFSM模型Method of Class Test Case Generating Based on EFSM 基於擴(kuò)展有限狀態(tài)機(jī)的類(lèi)測(cè)試用例生成方法Extended Finite State Machine (EFSM) 擴(kuò)展有限狀態(tài)機(jī) 返回 EFSM