当前位置:首页 > 工业技术
组合服务建模、测试与验证
组合服务建模、测试与验证

组合服务建模、测试与验证PDF电子书下载

工业技术

  • 电子书积分:13 积分如何计算积分?
  • 作 者:李必信,张鹏程编著
  • 出 版 社:北京:科学出版社
  • 出版年份:2013
  • ISBN:9787030360397
  • 页数:365 页
图书介绍:本书主要介绍在互联网环境下如何对组合服务进行行为建模、组合服务集成测试、回归测试和相关的属性验证。具体内容包括:从三个主要方面,即组合服务的建模理论,组合服务的测试方法和组合服务的属性验证方法,讨论了如何利用形式化规约理论(例如交互行为规约IBS:interactivebehaviorspecification)和可视化建模语言(例如UML2.0)进行组合服务行为建模,如何利用Petri网和标号变迁系统(LTS)进行集成测试和回归测试的测试用例自动化生成,以及如何利用属性序列图进行属性描述和验证等。
《组合服务建模、测试与验证》目录

第1章Web服务概述 1

1.1 Web服务简介 2

1.1.1 Web服务定义 2

1.1.2 Web服务技术体系 2

1.2 XML简介 3

1.2.1 XML的由来与发展 3

1.2.2 XML简明语法规则 3

1.2.3 DTD和XML Schema 4

1.3 BPEL简介 5

1.3.1 BPEL语法 5

1.3.2 BPEL执行引擎 6

1.4 W S-CDL简介 6

1.4.1 WS-CDL语法规则 7

1.4.2 WS-CDL模型 8

1.5 OWL-S简介 8

1.5.1 OWL-S整体结构 10

1.5.2 ServiceProfile 10

1.5.3 ServiceModel 11

1.5.4 ServiceGrounding 11

1.6本章小结 11

1.7参考文献 12

第2章SOA简介 13

2.1 SOA基本思想 13

2.1.1 SOA基本模型 13

2.1.2 SOA参考模型分类 14

2.2 SOA相关技术 16

2.2.1 SOAP 16

2.2.2 WSDL 16

2.2.3 UDDI 17

2.3 SOA应用综述 17

2.3.1应用SOA的原因 17

2.3.2经典案例 18

2.4 SOA发展展望 18

2.4.1 SOA与云计算 18

2.4.2 SOA与虚拟化 19

2.5本章小结 20

2.6参考文献 21

第3章 基于UML模型的Web服务组合建模 23

3.1 UML模型理论 23

3.2基于UML模型的BPEL建模 24

3.2.1实例研究 24

3.2.2基于扩展顺序图的BPEL建模 24

3.2.3扩展状态图 29

3.2.4扩展状态图生成方法 32

3.2.5基于扩展状态图的BPEL建模 32

3.3基于UML模型的WS-CDL建模 33

3.3.1实例研究 33

3.3.2基于扩展构件图的WS-CDL建模 35

3.3.3基于扩展顺序图的W-CDL建模 36

3.3.4基于扩展状态机图的WS-CDL建模 40

3.3.5基于类图的WS-CDL建模 44

3.4相关工作 47

3.5本章小结 47

3.6参考文献 48

第4章 基于Petri网的Web服务建模 50

4.1 Petri网简介 50

4.2单个Web服务的Petri网模型 52

4.3 Web组合服务的Petri网建模 53

4.4 Web服务组合流程的Petri网建模 53

4.5 ECPN 54

4.5.1 ECPN的形式化定义 54

4.5.2 ECPN的动态行为 55

4.6 EH-CPN 56

4.6.1 EH-CPN的形式化定义 56

4.6.2 EH-CPN的特点 56

4.7 Web组合服务到EH-CPN的转换 57

4.7.1原子过程的转换 58

4.7.2组合过程的转换 58

4.8实例分析 60

4.9本章小结 61

4.10参考文献 62

第5章Web服务测试概述 64

5.1引言 64

5.2 Web服务软件体系结构 64

5.3测试的视角 66

5.4测试的策略 67

5.5国内外研究现状 70

5.6 Web服务测试的难点 73

5.7 Web服务测试与传统软件测试 74

5.8关注点及待解决的问题 75

5.9 Web服务测试研究的主要内容 76

5.10本章小结 78

5.11参考文献 78

第6章 基于交互行为规约的Web服务测试 81

6.1引言 81

6.2实例 82

6.3序列图转化为ELTS 83

6.3.1序列图的形式化定义 83

6.3.2 ELTS的形式化定义 83

6.3.3序列图转化为ELTS 84

6.4基于ELTS一致性测试 88

6.4.1 ELTS的相关理论 88

6.4.2实现关系 89

6.4.3与测试相关的形式化定义 90

6.4.4测试生成算法 90

6.4.5实例分析 92

6.5实例验证 93

6.6本章小结 99

6.7参考文献 100

第7章 基于EH-CPN的Web组合服务测试 103

7.1引言 103

7.2扩展的层次有色Petri网的数据流分析 104

7.3测试用例生成 106

7.3.1测试序列生成 107

7.3.2测试数据生成 110

7.3.3测试用例合成 112

7.4 TWCS设计与实现 113

7.4.1 TWCS的功能结构 114

7.4.2 TWCS的可视化 116

7.5场景描述和建模 118

7.6实验结果和结果分析 120

7.7本章小结 124

7.8参考文献 125

第8章Web组合服务与变异测试 128

8.1 OWL-S 128

8.2 Web服务工作流模式 129

8.3变异测试 131

8.4应用于Web服务领域的变异测试 133

8.5基于变异的Web组合服务测试 134

8.5.1基本思想 134

8.5.2算子设计 137

8.6代价分析与改进 141

8.6.1代价分析 141

8.6.2变异距离 142

8.6.3样本学习 143

8.6.4测试用例选择策略 145

8.7实验 146

8.7.1计算变异距离 147

8.7.2实验结果比较 148

8.8本章小结 150

8.9参考文献 151

第9章Web服务回归测试 154

9.1引言 154

9.2现状分析 155

9.3服务的演化与回归测试 156

9.3.1 BPEL组合服务 157

9.3.2服务的演化 159

9.3.3回归测试的概念、过程和技术 161

9.4面向服务的回归测试 162

9.4.1测试的视角 162

9.4.2测试的目的 162

9.4.3测试的层次 163

9.4.4变更检测 164

9.4.5用例选择技术 164

9.5扩展BPEL流图 165

9.5.1扩展BPEL流图 165

9.5.2 XBFG路径 173

9.6基于XBFG的回归测试用例选择与生成 175

9.6.1原理与步骤 176

9.6.2回归测试的用例选择与生成 177

9.6.3变更覆盖率分析 184

9.7本章小结 186

9.8参考文献 187

第10章RTGenius4BPEL工具与应用 191

10.1 RTGenius4BPEL工具简介 191

10.2工具设计 192

10.2.1框架设计 192

10.2.2操作流程 192

10.3工具实现 193

10.3.1开发环境 193

10.3.2组合服务建模器的实现 194

10.3.3回归测试影响分析器的实现 194

10.3.4测试用例集生成器的实现 195

10.3.5工具的可视化 195

10.4案例分析 196

10.4.1场景描述 196

10.4.2建模 201

10.4.3回归测试用例选择与生成 204

10.5本章小结 212

10.6参考文献 213

第11章 基于UML模型的Web服务组合静态验证 214

11.1模型检验 214

11.2 Cadence SMV模型检验工具 215

11.2.1 SMV语言 216

11.2.2 SMV属性规约 218

11.2.3验证方法 219

11.3带数据的状态机图转化为SMV语言 220

11.3.1模型转化过程 220

11.3.2 SMV代码生成步骤 221

11.3.3验证过程 223

11.4 WS-BPEL验证结果 224

11.4.1属性描述 224

11.4.2验证 225

11.5 WS-CDL验证结果 228

11.5.1属性表示 228

11.5.2 WS-CDL验证结果 230

11.6相关工作 234

11.6.1基于自动机的方式 235

11.6.2基于进程代数的方式 236

11.6.3基于Petri网的方式 236

11.6.4典型的Web服务组合静态验证方法比较 236

11.7本章小结 238

11.8参考文献 238

第12章 并发属性验证 240

12.1引言 240

12.2扩展的控制流图 241

12.2.1扩展的控制流图:XCFG 241

12.2.2 XCFG的组成元素 242

12.2.3 XCFG的形式化描述 243

12.3 BPEL对象模型:BOM 244

12.4 BOM至XCFG的转化 246

12.4.1基本活动映射为XCFG元素 246

12.4.2结构化活动映射为XCFG元素 248

12.5实例分析 250

12.6并发相关的属性描述及验证 251

12.6.1 XCFG的无死锁性 251

12.6.2 XCFG的无冲突性 254

12.6.3 XCFG的link无冗余性 257

12.7实验分析 259

12.7.1算法正确性分析 259

12.7.2算法执行效率的分析 262

12.8本章小结 264

12.9参考文献 264

第13章Web服务运行时监控概述 268

13.1前言 268

13.2 Web服务运行时监控技术和相关参数 268

13.2.1监控的目的 270

13.2.2 Web服务组合方式 270

13.2.3属性 271

13.3常见Web服务监控方法 273

13.3.1 SLA Monitoring和Automated SLA Monitoring 273

13.3.2 Smart Monitoring, Dynamic Monitoring和Robustness Monitoring 274

13.3.3 Requirement Monitoring, Interaction Monitoring和Monitoring for Diagnosis 275

13.3.4 Monitoring for Planning和Monitoring of Instances and Classes 276

13.3.5 Probing and Monitoring 277

13.3.6 Monitoring for Selection和PLASTIC 277

13.3.7商业工具:Cremona, Colombo和GlassFish 279

13.4分析讨论 279

13.5本章小结 283

13.6参考文献 284

第14章Web服务组合时序属性监控 287

14.1 PSC 287

14.1.1 PSC简介 287

14.1.2 PSC形式语法 289

14.1.3 PSC形式语义 290

14.2一种基于PSC的时序属性监控方法 300

14.2.1基于AOP扩展BPEL引擎 302

14.2.2属性表示 303

14.2.3观察器和分析器 306

14.2.4实验分析 310

14.3相关工作 311

14.4本章小结 312

14.5参考文献 312

第15章Web服务组合时间属性监控 314

15.1 TPSC 314

15.1.1 PSC时间扩展 316

15.1.2 TPSC形式语法 316

15.1.3基于时间自动机的操作语义 320

15.1.4 TPSC的表达力 327

15.2基于TPSC的Web服务组合过程中时间属性监控 329

15.2.1基于AOP扩展BPEL引擎 331

15.2.2属性表示 331

15.2.3观察器和分析器 334

15.2.4实验分析 336

15.3相关工作 337

15.4本章小结 338

15.5参考文献 338

第16章Web服务组合概率时间属性监控 340

16.1 PTPSC 340

16.1.1 TPSC概率扩展 340

16.1.2 PTPSC形式语法 340

16.1.3 PTPSC形式语义 343

16.1.4 PTPSC表达力 345

16.2基于PTPSC的Web服务组合概率时间属性的监控 346

16.2.1基于AOP扩展BPEL引擎 347

16.2.2属性表示 347

16.2.3观察器和分析器 348

16.2.4实验分析 350

16.3相关工作 355

16.4本章小结 356

16.5参考文献 356

附录 缩略词表 358

结束语 360

相关图书
作者其它书籍
返回顶部