基于状态的分布式组件系统集成测试

摘要

本文提出了利用UML状态图和通信状态机模型对分布式组件系统实施集成测试的策略,它是一种基于规约的软件测试方法,测试过程中有效地引入了形式化技术.文章首先总结了基于规约的软件测试理论及其发展现状;然后对分布式组件系统模型,特别是UML状态图模型进行了讨论,指出了UML状态图在表达上的局限;之后通过引入通信状态机,对组件系统的状态特征进行准确建模,并在它的基础上构造集成状态机模型,作为集成测试序列生成的基础;最后,根据分布式组件系统集成测试的目的提出了集成状态机的测试需求,并分别针对通信覆盖和约束覆盖,实现了测试序列的自动生成.

目录

文摘

英文文摘

1绪论

1.1论文选题及其研究的意义

1.2国内外研究现状

1.3论文研究的主要内容

1.4本章小结

2基于规约的软件测试

2.1软件质量保证与软件工程过程

2.1.1软件产品的质量特征

2.1.2软件质量保证与软件工程过程

2.2软件测试

2.2.1软件测试概述

2.2.2白盒测试与黑盒测试

2.2.3软件测试的层次

2.3基于规约的软件测试

2.3.1基于规约的软件测试概述

2.3.2基于规约的软件测试研究现状

2.4基于状态规约的软件测试

2.4.1状态机与状态图模型

2.4.2基于状态的测试设计

2.4.3基于状态的测试研究内容

2.5本章小结

3分布式组件系统建模

3.1分布式组件系统

3.1.1分布式计算的定义及其分类

3.1.2基于组件的软件开发

3.1.3分布式组件中间件CORBA

3.1.4分布式组件系统一般的体系结构

3.2软件建模方法

3.2.1软件建模方法及其分类

3.2.2统一建模语言UML

3.3 UML状态图模型

3.3.1 UML状态图

3.3.2UML状态图表达的局限性

3.4本章小结

4构建集成状态机

4.1分布式组件系统的通信状态机模型

4.1.1通信状态机定义

4.1.2分布式组件与通信状态机模型

4.1.3从UML通信状态图到通信状态机

4.1.4状态机的最小化

4.2状态机的集成

4.2.1状态机集成概述

4.2.2集成状态机的形式化定义

4.2.3状态机集成的主要问题

4.3通信状态机的集成过程

4.3.1定义子系统

4.3.2集成算法的实现

4.3.3通信状态机集成示例

4.4本章小结

5测试序列的自动生成

5.1集成状态机的测试需求

5.1.1测试需求

5.1.2基于状态规约的软件测试需求

5.1.3集成状态机测试需求

5.2通信覆盖测试序列自动生成

5.2.1通信覆盖测试序列生成算法

5.2.2示例

5.3约束覆盖测试序列自动生成

5.3.1约束覆盖测试序列生成算法

5.3.2示例

5.4本章小结

图

6结束语

6.1论文的主要工作和结论

6.2进一步工作

致谢

参考文献

独创性声明及学位论文版权使用授权书