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

摘要

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