论文题目: 基于UML statecharts测试方法的研究
论文类型: 博士论文
论文专业: 控制理论与控制工程
作者: 占学德
导师: 缪淮扣
关键词: 形式化语义,模型,基于规格说明的软件测试,测试准则,测试用例自动生成
文献来源: 上海大学
发表年度: 2005
论文摘要: 统一建模语言(Unified Modeling Language,UML)是一种描述能力强大且涵义直观的可视化建模语言,它提供多种图元从不同角度和应用层次刻画系统特性以及复杂的运行环境。基于UML的软件开发过程和建模环境已被工业界广泛接受,其中包括航天、国防、汽车等许多安全攸关领域。如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件质量的关键技术之一,能够有效地发现软件中的故障。因而,基于UML软件测试成为了软件工程的一个重要研究方向。软件测试的关键是测试用例的产生。本文对基于UML statecharts图的测试用例生成方法进行了研究和探讨。直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的,本文提出了基于UML statecharts图的测试框架:先利用现有的UML工具(如ArgoUML等)画出UML statecharts图,并产生它的XMI(XML Metadata Interchange)格式的规格说明文件;然后根据UML statecharts图的语义,层次和并发结构被展平, UML statecharts图的规格说明XML文件转换成FREE(Flattened Regular Expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集。UML statecharts图是一种图形符号,描述了UML框架的行为,它是UML语言的一个重要组成部分。然而,UML statecharts图缺乏精确的语法和语义。本文用Z语言定义了UML statecharts图的形式化语法和语义。按照这个精确语义,UML statecharts图被转换成了FREE模型。这个FREE模型不仅有助于确定软件设计是否是一致的、无歧义的和完整的,而且也有利于软件测试。测试充分性准则是整个软件测试的核心,它直接决定了测试用例的生成。目前基于UML状态图生成测试用例的充分性准则:状态覆盖准则、迁移覆盖准则、全谓词公式覆盖准则和迁移对覆盖准则,它们没有解决测试循环的问题。在测试时,循环被执行一次是很不充分的,按照不完全归纳法的思想,本文提出了ZOT循环覆盖准则,也就是使循环分别执行0次、1次、2次;针对A.J.Offutt等人给出的覆盖准则“完全序列准则”(complete sequence level),由于它的操作性极弱,无法在工具中实现,在此基础上结合ZOT循环覆盖准则,本文还提出了全ZOT路径覆盖准则。并给出了状态覆盖、迁移覆盖、全谓词公式覆盖、迁移对覆盖、ZOT循环覆盖和全ZOT路径覆盖这6条覆盖准则的应用,还讨论了这些覆盖准则之间的包含关系。A.J.Offutt给出的两条测试准则(全谓词公式覆盖和迁移对覆盖)产生测试用例的算法只适用于以下情况:一方面只对使能迁移产生测试,另一方面它需要所有的变量都是布尔型的。本文针对这两个方面的问题进行了扩充,不仅可
论文目录:
摘要
ABSTRACT
第一章 绪论
1.1 研究背景
1.2 研究的现状及不足
1.2.1 研究UML statecharts 语义的必要性
1.2.2 基于statecharts 测试的现状及不足
1.2.3 测试充分性准则和自动测试生成工具的现状及不足
1.3 本文的主要工作
1.4 本文组织安排
第二章 UML、Z 语言与软件测试
2.1.U ML 基础
2.1.1.U ML 的语法和语义
2.1.2.U ML 的内容
2.1.3.U ML 的主要特点
2.2 形式规格说明语言－Z
2.2.1.Z 语言概述
2.2.2.Z 的组成
2.3 软件测试基础
2.3.1 软件测试目的及策略
2.3.2 软件测试技术
2.3.3 基于规格说明的软件测试
2.3.4 面向对象软件测试
2.4 小结
第三章 UML STATECHARTS 的形式化语义
3.1. UML STATECHARTS 概述
3.2. UML STATECHARTS 的形式化语法
3.2.1 状态层次
3.2.2 简单迁移
3.2.3. 合式的UML statecharts
3.3. UML STATECHARTS 的形式化语义
3.3.1 状态配置
3.3.2 复合迁移
3.3.3 Statecharts 的状况
3.3.4 “执行到完成”步
3.3.5.F REE 状态模型
3.4 小结
第四章 基于UML 状态图的测试准则
4.1 测试充分性准则
4.2 基于UML 状态图的测试充分性准则
4.2.1 状态覆盖准则
4.2.2 迁移覆盖准则
4.2.3 全谓词公式覆盖准则
4.2.4 迁移对覆盖准则
4.2.5 ZOT 循环覆盖准则
4.2.6 全ZOT 路径覆盖准则
4.3 基于UML 状态图测试准则的应用
4.3.1 状态覆盖准则
4.3.2 迁移覆盖准则
4.3.3 全谓词公式覆盖准则
4.3.4 迁移对覆盖准则
4.3.5 ZOT 循环覆盖准则
4.3.6 全ZOT 路径覆盖准则
4.4 测试准则之间的包含关系
4.5 小结
第五章 基于UML STATECHARTS 的测试用例生成
5.1 基于UML STATECHARTS 的测试用例推导
5.1.1 解析XML 文件
5.1.2 生成FREE 模型
5.1.3 产生测试用例
5.2 基于迁移覆盖的测试用例生成
5.2.1 迁移序列的产生
5.2.2 测试用例的生成
5.3 基于全谓词公式覆盖的测试用例生成
5.3.1 选择测试值
5.3.2 迁移序列的产生
5.3.3 测试用例的生成
5.4 基于迁移对覆盖的测试用例生成
5.4.1 迁移序列的产生
5.4.2 测试用例的生成
5.5 基于全ZOT 路径覆盖的测试用例生成
5.5.1 迁移序列的产生
5.5.2 测试用例的生成
5.6 小结
第六章 系统的设计及实现
6.1 系统设计
6.2 数据结构与类
6.2.1. PXML 解析器模块的设计
6.2.2. S2F 转换模块的设计
6.2.3 测试用例自动生成模块TCG 的设计
6.3. UMLSTG 系统的界面
6.4 小结
第七章 结束语
7.1 本文主要贡献
7.2 未来的工作
参考文献
攻读博士学位期间发表的论文
攻读博士学位期间参与的科研项目
致谢
附录一: 咖啡出售机的 XML 文件
附录二: 迁移覆盖的测试用例
附录三: 三种测试准则的迁移序列
附录四: 测试用例规格说明语言的语法
附录五: 迁移覆盖的测试用例文件
博硕士学位论文同意发表声明
发表意见书
发布时间: 2006-12-12
参考文献
- [1].基于变异的错误定位优化技术研究[D]. 刘勇.北京化工大学2018
- [2].基于集合进化与占优关系的变异测试用例生成[D]. 张功杰.中国矿业大学2017
- [3].基于测试用例的错误定位技术研究[D]. 张慧.东南大学2016
- [4].面向复杂程序结构的测试用例自动生成方法研究[D]. 张旭舟.北京邮电大学2018
- [5].基于面向对象形式规格说明的测试用例生成技术[D]. 刘玲.上海大学2004
- [6].自动化软件测试技术研究[D]. 金虎.四川大学2006
- [7].软件测试用例自动生成技术研究[D]. 李军义.湖南大学2008
- [8].回归测试用例选择技术研究[D]. 游亮.华中科技大学2012
- [9].航天相机主控软件测试用例自动生成技术的研究[D]. 李丽.中国科学院研究生院（长春光学精密机械与物理研究所）2010
- [10].测试用例自动生成的分支限界算法及实验研究[D]. 邢颖.北京邮电大学2014
相关论文
- [1].Web应用软件的测试技术研究[D]. 路晓丽.西北大学2006
- [2].高可信软件可靠性和防危性测试与评价理论研究[D]. 覃志东.电子科技大学2005
- [3].软件测试方法研究[D]. 赵瑞莲.中国科学院研究生院（计算技术研究所）2001
- [4].UML行为模型之间模型转换的研究[D]. 王洪媛.吉林大学2007
标签：形式化语义论文; 模型论文; 基于规格说明的软件测试论文; 测试准则论文; 测试用例自动生成论文;