基于UML的形式化面向对象软件测试用例辅助生成技术

内容摘要

第一章前言

第二章面向对象的软件测试技术

2.1软件测试的目的

2.2规范化的软件测试

2.3面向对象软件测试特殊性

2.3.1对象

2.3.2消息

2.3.2接口

2.3.4类

2.3.5继承

2.3.6多态

2.4面向对象的软件测试策略

2.5面向对象软件建模语言——UML

2.6 UML图与软件测试

2.6.1类图(Class Diagram)

2.6.2用况图(Use Case Diagram)

2.6.3状态图(Statecharts Diagram)

2.6.4顺序图(Sequence Diagram)

2.6.5 UML图形在软件测试各阶段的使用

第三章形式化方法与软件测试技术

3.1形式化方法和形式化规约语言的发展现状

3.2形式化方法存在的问题

3.3形式化方法与面向对象技术的结合

3.4 RAISE

3.4.1 RAISE的技术特点

3.4.2 RAISE与面向对象技术

第四章形式化的软件测试用例生成技术

4.1测试用例的概念和组成

4.2一些假设

4.3基于操作语义约束的测试用例生成技术

4.3.1 UML类图的形式化描述方法

4.3.2 UML类图中的操作语义

4.3.3类的操作语义对于操作的影响

4.3.4基于UML类图约束的测试用例生成规则

4.4基于消息序列的测试用例生成技术

4.4.1基于UML图和形式化方法RAISE的消息提取和描述机制

4.4.2基于消息序列的测试用例生成技术

4.4.3消息序列中检验系统容错能力的测试用例生成

4.5形式化测试技术与传统测试技术的协调使用

4.5.1传统的软件测试技术

4.5.2形式化测试方法与传统测试方法的对应关系

4.5.3形式化测试方法与传统测试方法的协调使用

第五章测试实践

5.1测试对象简介

5.2 LIFT系统的UML设计和相应的测试用例

5.2.1静态模型描述和测试

5.2.2动态模型描述和测试

5.3对于LIFT系统的综合测试方法

第六章结论和进一步的工作

参考文献

致谢