English

应用科学学报 ›› 2009, Vol. 27 ›› Issue (1): 90-96 .

• 通信工程 • 上一篇    下一篇

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

方明科 1,2; 缪淮扣 1   

  1. 1. 上海大学计 算机工程与科学学院，上海200072;
    2. 信阳师范学院 计算机与信息技术学院，河南 信阳464000
  • 收稿日期:2008-08-18 修回日期:2008-10-31 出版日期:2009-01-25 发布日期:2009-01-25
  • 通信作者: 缪淮扣

Extracting Web Application Models for Model Verification

FANG Ming-ke 1,2; MIAO Huai-kou 1

  

  1. 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China;
    2. School of Computer and Information Technology, Xinyang Normal University,Xinyang 464000, Henan Province, China
  • Received:2008-08-18 Revised:2008-10-31 Online:2009-01-25 Published:2009-01-25
  • Contact: MIAO Huai-kou

PDF

2274

被引次数

6

摘要： 以模型验证为目标，提出一种Web应用FSM(finite state machines)模型的抽取方法. 该方法将模型抽取划分为链接提取、模型构造和结果显示. 通过建立标签库和对标签的定位，并结合正则表达式的方法，对Web应用进行逆向分析，从源代码开始进行链接及相关信息的提取、规整和存储. 对Web应用中的页面、链接等建模元素进行分析，应用映射与聚合等抽象技术对获得的信息进行重构，得到适用于验证的Web 应用的FSM模型.

关键词: 链接提取, Web应用模型, 模型抽取, 有限状态机

Abstract: 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 from 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.

Key words: link extraction, Web application models, model extraction, finite state machines(FSM)

中图分类号: