文摘
英文文摘
浙江理工大学学位论文原创性声明及版权使用授权书
第一章引言
1.1论文选题的背景及意义
1.2国内外研究现状和主要存在的问题
1.2.1基于形式化规格的软件测试用例生成
1.2.2基于UML模型测试用例自动生成技术
1.2.3基于模型驱动架构的软件测试用例生成
1.3论文的研究内容及主要工作
1.4论文的组织结构
第二章OCL介绍及建模应用
2.1 OCL介绍
2.2 OCL建模应用实例
第三章OCL的形式定义
3.1对象模型的形式定义
3.2 OCL类型的形式定义
3.2.1 OCL的基本类型
3.2.2对象类型
3.2.3列集和元组类型
3.2.4特殊类型
3.2.5类型继承层次
3.3 OCL表达式的形式定义
3.3.1表达式的语法
3.3.2表达式的上下文
3.3.3不变式
3.3.4前置、后置条件
第四章测试用例自动生成算法
4.1设计和测试用例的形式化定义
4.2约束满足问题(CSP)
4.3基于缺陷测试的测试用例生成算法
4.4测试用例自动生成工具原型的框架
第五章UML、OCL模型的解析处理
5.1 UML模型的转化处理
5.1.1 UML类图的文本表示
5.1.2使用XMI和XSLT转化方式
5.1.3使用RoseScript处理模型转化
5.2 UML、OCL模型的解析
5.2.1 UML、OCL模型解析工具(Octopus)介绍
5.2.2模型解析后的抽象语法树(AST)结构
5.3实验结果
第六章OCL规格的变异分析
6.1变异分析概述
6.2变异算子的设计理论
6.2.1变异分析的两个基本假设
6.2.2缺陷种类
6.3变异分析测试的充分性
6.3.1缺陷条件
6.3.2缺陷种类的关系
6.4 OCL变异系统的设计和实现
6.4.1变异系统设计方案
6.4.2变异系统的整体设计
6.4.3各个变异算子的具体实现
6.5实验结果
第七章OCL规格的划分分析
7.1 OCL规格构造划分分析理论
7.1.1基于逻辑覆盖准则生成DNF
7.1.2基本的DNF构造规则
7.1.3三值逻辑系统的DNF构造规则
7.2 OCL规格DNF构造系统的设计和实现
7.2.1 DNF的数据结构
7.2.2将OCLAST转化为DNF树
7.2.3将DNF树结构转化为DNF
7.3测试用例约束库的生成和简化
7.3.1常规测试约束库的生成
7.3.2变异分析约束库的生成和简化
7.4实验结果
第八章测试用例CSP模型的建立与求解
8.1 Choco介绍
8.1.1 Choco的使用
8.1.2 Choco的基本框架
8.2 CSP模型的自动生成
8.2.1处理新的数据类型
8.2.2自动生成CSP模型
8.3生成测试脚本
8.4实验结果
第九章总结
9.1本文的主要贡献
9.2存在的不足和今后改进的方向
参考文献
致谢
附录
攻读学位期间的研究成果