一种用于模型验证的Web应用模型抽取方法  

Extracting Web Application Models for Model Verification

作　　者：方明科[1,2] 缪淮扣[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]信阳师范学院计算机与信息技术学院,河南信阳464000

出　　处：《应用科学学报》2009年第1期90-96,共7页Journal of Applied Sciences

基　　金：国家"973"重点基础研究发展计划基金(No.2007CB310800);国家自然科学基金(No.60673115);国家"863"高技术研究发展计划基金(No.2007AA01Z144);上海市教委科研项目基金(No.07ZZ06);上海市重点学科建设项目基金(No.J50103)资助项目:

摘　　要：以模型验证为目标,提出一种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.

关 键 词：链接提取 WEB应用模型 模型抽取 有限状态机 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]