《基于UMLstatecharts测试方法的研究》求取 ⇩

第一章绪论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