EFSM
常見例句
- 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
一種用於類測(cè)試的改進(jìn)型EFSM模型 - Method of Class Test Case Generating Based on EFSM
基於擴(kuò)展有限狀態(tài)機(jī)的類測(cè)試用例生成方法 - Extended Finite State Machine (EFSM)
擴(kuò)展有限狀態(tài)機(jī) 返回 EFSM