摘要
以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法。该方法将模型抽取划分为链接提取、模型构造和结果显示。通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储。对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web应用的FSM模型。
For model verification, an approach to extract FSM models of Web applications is proposed. The extraction process is divided into three phases： link extraction, model construction and document generation. By using a regular expression and location technology for tags contained in a tag library built in the lab, information related to links is first extracted flom the source codes of Web applications. It is then structured and stored in databases. In model construction, information obtained in the first phase is reconstructed with a mapping and aggregation technology after analyzing elements for model construction such as pages and links within Web applications. Finally, FSM models are obtained to verify the Web applications.
出处
《应用科学学报》
CAS
CSCD
北大核心
2009年第1期90-96,共7页
Journal of Applied Sciences
基金
国家"973"重点基础研究发展计划基金(No.2007CB310800)
国家自然科学基金(No.60673115)
国家"863"高技术研究发展计划基金(No.2007AA01Z144)
上海市教委科研项目基金(No.07ZZ06)
上海市重点学科建设项目基金(No.J50103)资助项目:
关键词
链接提取
WEB应用模型
模型抽取
有限状态机
link extraction, Web application models, model extraction, finite state machines（FSM）
