计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2012年
5期
153-156
,共4页
皮学贤%荆涛%柳林%钟玮珺
皮學賢%荊濤%柳林%鐘瑋珺
피학현%형도%류림%종위군
有限状态机%模型范式%软件工程
有限狀態機%模型範式%軟件工程
유한상태궤%모형범식%연건공정
基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验；而模型校核对于确保仿真的可信度十分重要.本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集.并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略.实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架.
基于有限狀態機倣真模型因其外部環境的複雜交互關繫,而難以完整複現其狀態變遷過程,更難對模型進行校覈與檢驗；而模型校覈對于確保倣真的可信度十分重要.本文從分析基于有限狀態機的倣真對象模型狀態變遷及公共調用接口齣髮,將有限狀態機模型的公共接口區分為參數註入方法集、參數提取方法集和無參數方法集.併在此基礎上,提齣併實現瞭對有限狀態機模型接口輸入集進行窺視和頂替的校覈策略.實驗錶明,在滿足若榦禁入規則的條件下,該方法能夠完整複現有限狀態機模型的狀態變遷過程,從而可為實現可校覈與可檢驗有限狀態機模型提供建模框架.
기우유한상태궤방진모형인기외부배경적복잡교호관계,이난이완정복현기상태변천과정,경난대모형진행교핵여검험；이모형교핵대우학보방진적가신도십분중요.본문종분석기우유한상태궤적방진대상모형상태변천급공공조용접구출발,장유한상태궤모형적공공접구구분위삼수주입방법집、삼수제취방법집화무삼수방법집.병재차기출상,제출병실현료대유한상태궤모형접구수입집진행규시화정체적교핵책략.실험표명,재만족약간금입규칙적조건하,해방법능구완정복현유한상태궤모형적상태변천과정,종이가위실현가교핵여가검험유한상태궤모형제공건모광가.
