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