一种用于模型验证的Web应用模型抽取方法
Extracting Web Application Models for Model Verification作者机构:上海大学计算机工程与科学学院上海200072 信阳师范学院计算机与信息技术学院河南信阳464000
出 版 物:《应用科学学报》 (Journal of Applied Sciences)
年 卷 期:2009年第27卷第1期
页 面:90-96页
核心收录:
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:国家"973"重点基础研究发展计划基金(No.2007CB310800) 国家自然科学基金(No.60673115) 国家"863"高技术研究发展计划基金(No.2007AA01Z144) 上海市教委科研项目基金(No.07ZZ06) 上海市重点学科建设项目基金(No.J50103)资助项目:
摘 要:以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法。该方法将模型抽取划分为链接提取、模型构造和结果显示。通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储。对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web应用的FSM模型。