文摘
英文文摘
声明
第一章引言
1.1研究目的和意义
1.2国内外研究进展
1.3主要研究内容及创新点
1.4论文组织结构
第二章用例分析技术及形式化方法分析
2.1用例分析技术
2.1.1用例分析技术的优缺点分析
2.2形式化方法
2.2.1 Z语言简介
2.2.2形式化方法的优缺点分析
2.3本章小结
第三章基于用例规约产生Z形式规格说明
3.1用例规约的精化
3.2活动图基本概念
3.3用活动图描述用例
3.4产生用例场景
3.4.1对活动图的抽象
3.4.2用例场景生成算法
3.5书写Z语言形式规约
3.6 Z语言编辑及类型检查工具
3.7本章小结
第四章基于形式规格说明的测试用例生成
4.1基于形式规格说明产生测试用例
4.2测试用例的实例化
4.3测试用例序列生成
4.3.1用例场景最大无环有效覆盖序列
4.3.2用例场景全前置条件最大无环有效覆盖序列
4.4实例研究
4.4.1构造测试用例序列
4.4.2结果评估
4.5本章小结
第五章测试用例自动生成工具框架
5.1系统的总体框架
5.2功能模块的实现
5.3本章小结
第六章总结与展望
参考文献
攻读学位期间的研究成果
致谢