一种基于规格说明的Web应用测试用例生成方法

摘要

Web应用程序是近些年来软件业中发展最快的应用程序之一。Web应用所使用的开发语言和开发模型在不断发展。Web应用本身也越来越复杂。所有这些因素都给Web应用的分析、建模和测试带来了很大的难度。随着网络技术的快速发展，很多传统的应用软件在向Web应用程序过渡，Web应用将涉及很多敏感行业，如军事、金融或医疗等相关的领域。 要提高软件测试的效率，首先要提高测试用例的质量。手工生成测试用例要求软件测试人员具有一定的经验和较高的专业水平。而且，没有系统化的方法作为指导会大大降低质量和效率。 形式化方法具有精确的描述性和很强的抽象性．用形式化方法描述规格说明避免了在需求分析阶段对数据结构和算法细节的详细描述，同时又避免了一般建模方法中的模糊性和歧义性。 本文针对Web应用组件系统的集成测试产生测试用例，提出了一种使用Object-Z模式描述Web组件模型的方法，提出了Web应用路径覆盖的测试准则。我们采用Object-Z模式作为测试模型，每个组件对应一个模式，通过定义状态迁移谓词来描述组件交互。通过制定状态迁移表和动作迁移表来产生测试场景。为了具体化抽象测试用例的操作步骤和测试数据，本文采用了BVA边界值分析策略来确定输入项的范围。最后为测试用例生成过程设计了一个辅助工具，该工具可导入组件模式信息，然后生成测试用例。

目录

文摘

英文文摘

声明

第一章绪论

1.1研究背景

1.2软件测试与形式化方法

1.3 Web应用测试研究现状

1.4本文的主要内容和结构安排

第二章软件测试概述

2.1测试方法分类

2.1.1基于程序代码的测试

2.1.2基于规格说明的测试

2.2基于形式规格说明的软件测试

2.2.1形式方法和形式规格说明

2.2.2基于规格说明的软件测试分类

2.3软件测试的内容

2.3.1软件测试的目的

2.3.2软件测试的原则

2.3.3软件测试的对象

第三章Web应用测试概述

3.1 Web应用测试概述

3.1.1功能测试

3.1.2性能测试

3.1.3可用性测试

3.1.4客户端兼容性测试

3.1.5安全性测试

3.1.6小结

3.2 Web应用程序特点与现有测试方法

3.2.1 Web应用程序特点分析

3.2.2现有的Web应用程序测试方法

第四章Web应用模型的建立

4.1 Web应用的组件划分

4.2 Web应用的组件结构

4.2.1 Z模式概述

4.2.2 Web组件的模式表示

4.3 Web应用的组件行为

4.4 Web应用的一个实例

4.5 Web应用Object-Z模型的优点与不足

第五章测试用例生成

5.1测试用例生成

5.1.1建立状态迁移表

5.1.2产生测试场景

5.2测试用例的生成

5.2.1模式的前置条件

5.2.2模式复合与BVA策略

第六章测试工具设计及演示

6.1工具设计

6.1.1解析XML文件

6.1.2组件模式数据结构

6.2工具演示

6.2.1组件模式的导入

6.2.2产生状态迁移表

6.2.3产生测试场景

6.2.4测试用例的实例化

第七章结论

参考文献

作者在攻读硕士学位期间公开发表的论文

致 谢