图书介绍

基于UMLstatecharts测试方法的研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

占学德著著
出版社：
ISBN：
出版时间：2009
标注页数：0页
文件大小：57MB
文件页数：160页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：b73d962ac0bfe8d25da36bae78b77c40

下载说明

基于UMLstatecharts测试方法的研究PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一章绪论1

1.1 研究背景1

1.2 研究的现状及不足3

1.3 本文的主要工作7

1.4 本文组织安排9

第二章 UML、Z语言与软件测试10

2.1 UML基础10

2.2 形式规格说明语言Z16

2.3 软件测试基础19

2.4 小结25

第三章 UML statecharts的形式化语义26

3.1 UML statecharts概述26

3.2 UML statecharts的形式化语法29

3.3 UML statecharts的形式化语义34

3.4 小结45

第四章基于UML状态图的测试准则46

4.1 测试充分性准则46

4.2 基于UML状态图的测试充分性准则48

4.3 基于UML状态图测试准则的应用59

4.4 测试准则之间的包含关系64

4.5 小结66

第五章基于UML statecharts的测试用例生成67

5.1 基于UML statecharts的测试用例推导67

5.2 基于迁移覆盖的测试用例生成72

5.3 基于全谓词公式覆盖的测试用例生成77

5.4 基于迁移对覆盖的测试用例生成87

5.5 基于全ZOT路径覆盖的测试用例生成90

5.6 小结94

第六章系统的设计及实现96

6.1 系统设计96

6.2 数据结构与类97

6.3 UMLSTG系统的界面106

6.4 小结109

第七章结束语110

7.1 本文主要贡献110

7.2 未来的工作112

参考文献113

致谢121

附录一：咖啡出售机的XML文件122

附录二：迁移覆盖的测试用例124

附录三：三种测试准则的迁移序列130

附录四：测试用例规格说明语言的语法134

附录五：迁移覆盖的测试用例文件136

攻读博士学位期间发表的论文143

攻读博士学位期间参与的科研项目144