Web应用模型转换和模型同步积的方法研究

摘要

现有的软件规模越来越庞大，形态越来越复杂。随着Internet的普及以及构件、中间件和Web Services等技术的迅速发展与应用，使Web应用渗透到国计民生的各个领域，所以对Web应用的测试变得越来越重要! Web测试的方法有很多，基于模型的测试方法就是其中一种。其大致过程是对Web应用进行建模，然后从所描述的模型产生测试用例，并运行测试用例。因此，Web应用的建模对于基于模型的Web测试是非常重要的，建模的好坏直接关系到生成的测试用例的质量；但因为每种模型是从不同方面对Web应用进行建模和描述，所以如果从每种模型去产生测试，会造成测试用例的繁琐和冗余以及表示不一致。假如能够将这些模型转换到统一的模型，就可以避免这种情况的发生。本文选取有穷确定状态自动机(FSM)作为测试用例生成的统一模型。 本文给出了从UML模型到FSM模型转换的方法，提出了从UML状态图模型到FSM模型的三种不同情况下对应的转换方法及其转换规则；可以从UML状态图模型中的简单状态、复合状态和有历史状态的三种情况正确转换到FSM模型；其次，介绍了UML模型的文本表示方法和FSM模型的文本表示方法；设计并实现了集模型转换、模型同步积于一体的工具XMI2FSM，并给出了工具演示。实现了从UML状态图模型到FSM的转换以及模型之间的同步积，使系统模型统一在FSM模型中，所生成的FSM模型既可以用于模型验证，又便于测试用例的生成。

目录

文摘

英文文摘

声明

第一章引言

1.1需求简介

1.2相关背景

1.3相关工作

1.4主要工作

第二章基础知识

2.1 UML

2.2 FSM模型

2.3 UML模型到FSM模型的转化

2.4模型转换和同步积

第三章Web应用的建模和模型转换

3.1 Web应用建模

3.2 UML建模扩展

3.2.1 Web应用页面结构

3.2.2 Web页面建模

3.3状态图

3.4状态-迁移特性保持转换规则

3.4.1状态-迁移序列不变

3.4.2层次削减

3.4.3浅历史打碎

3.5模型转换实例

第四章模型同步积

4.1同步积

4.1.1概念

4.1.2同步积原理

4.2模型同步积的示例

第五章设计实现部分

5.1 XMI

5.2 SCXML

5.3模型转换和同步积

5.3.1模型转换原型

5.3.2同步积原型

第六章实例运行

6.1运行实例介绍

6.2运行情况

第七章结论

参考文献

附录：SCXML的规范说明

作者在攻读硕士期间发表的论文

作者在攻读硕士期间参加的项目

致谢