应用科学学报
應用科學學報
응용과학학보
JOURNAL OF APPLIED SCIENCES
2009年
1期
90-96
,共7页
链接提取%Web应用模型%模型抽取%有限状态机
鏈接提取%Web應用模型%模型抽取%有限狀態機
련접제취%Web응용모형%모형추취%유한상태궤
以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法.该方法将模型抽取划分为链接提取、模型构造和结果显示.通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储.对Web心用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对扶得的信息进行重构,得到适用十验证的Web应用的FSM模型.
以模型驗證為目標,提齣一種Web應用FSM(finite state machines)模型的抽取方法.該方法將模型抽取劃分為鏈接提取、模型構造和結果顯示.通過建立標籤庫和對標籤的定位,併結閤正則錶達式的方法,對Web應用進行逆嚮分析,從源代碼開始進行鏈接及相關信息的提取、規整和存儲.對Web心用中的頁麵、鏈接等建模元素進行分析,應用映射與聚閤等抽象技術對扶得的信息進行重構,得到適用十驗證的Web應用的FSM模型.
이모형험증위목표,제출일충Web응용FSM(finite state machines)모형적추취방법.해방법장모형추취화분위련접제취、모형구조화결과현시.통과건립표첨고화대표첨적정위,병결합정칙표체식적방법,대Web응용진행역향분석,종원대마개시진행련접급상관신식적제취、규정화존저.대Web심용중적혈면、련접등건모원소진행분석,응용영사여취합등추상기술대부득적신식진행중구,득도괄용십험증적Web응용적FSM모형.
