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í)行性分析自動生成可執(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)爲(wèi)模型描述的協(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ī)的類測試用例生成方法 - Extended Finite State Machine (EFSM)
擴(kuò)展有限狀態(tài)機(jī) 返回 EFSM