欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
以模型验证为目标，提出一种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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：