书籍简介:

本书主要介绍在互联网环境下如何对组合服务进行行为建模、组合服务集成测试、回归测试和相关的属性验证。具体内容包括：从三个主要方面，即组合服务的建模理论，组合服务的测试方法和组合服务的属性验证方法，讨论了如何利用形式化规约理论（例如交互行为规约IBS：interactivebehaviorspecification）和可视化建模语言（例如UML2.0）进行组合服务行为建模，如何利用Petri网和标号变迁系统（LTS）进行集成测试和回归测试的测试用例自动化生成，以及如何利用属性序列图进行属性描述和验证等。

书籍目录:

第1章 web服务概述 1．1 web服务简介 1．1．1 Web服务定义 1．1．2 Web服务技术体系 1．2 XML简介 1．2．1 XML的由来与发展 1．2．2 XML简明语法规则 1 2．3 DTD和XML Schema 1．3 BPEL简介 1．3．1 BPEL语法 1．3．2 BPEI执行引擎 1．4 WS-CDL简介 1．4．1 WS-CDL语法规则 1．4．2 WS-CDI．模型 1．5 OWL-S简介 1．5．1 OWL-S整体结构 1．5．2 ServiceProfile 1．5．3 ServiceModel 1．5．4 ServiceGrounding 1．6 本章小结 1．7 参考文献第2章 SOA简介第3章基于UML模型的Web服务组合建模第4章基于Petri网的Web服务建模第5章 web服务测试概述第6章基于交互行为规约的w曲服务测试第7章基于EH-CPN的Web组合服务测试第8章 Web组合服务与变异测试第9章 Web服务回归测试第10章 RTGenius4BPEL工具与应用第11章基于uML模型的web服务组合静态验证第12章并发属性验证第13章 web服务运行时监控概述第14毒web服务组合时序属性监控第15章 weh服务组合时间属性监控第16章 web服务组合概率时间属性监控附录缩略词表结束语

内容摘要:

《组合服务建模测试与验证》从组合服务建模、测试和验证三个方面着手，系统全面地介绍了与面向web服务的软件开发和软件质量保证相关的技术理论和方法。全书共16章，其中第1、2章重点介绍了与web服务相关的基础知识，包括基本概念、基本术语以及基本原理；第3、4章重点介绍了web服务的建模技术，包括uML建模和有色Petri网建模；第5～10章重点介绍了各种类型的web服务测试技术和方法，包括单元测试、集成测试、回归测试、变异测试和测试用例生成等；第11～16章重点介绍组合web服务的静态验证和动态监控等技术。李必信等编著的《组合服务建模测试与验证》适用于软件工程学科专业的教师、研究生和高年级本科生，以及从事面向服务软件开发和质量管理的工程技术人员。

书籍规格:

书籍详细信息
书名	组合服务建模、测试与验证站内查询相似图书
	9787030360397 如需购买下载《组合服务建模、测试与验证》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	45.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	200	印数

全网搜索试读资源

书籍信息归属:

组合服务建模、测试与验证是科学出版社于2013.1出版的中图分类号为 TP393.4 的主题关于互联网络－网络服务的书籍。