大拱桥--暨南大学学生门户 » 图书馆 » 国际互联网 » 组合服务建模、测试与验证
名称 组合服务建模、测试与验证
索引号 TP393.4/201341
分类号 TP393.4
TP393.4(国际互联网)
TP393(计算机网络)
TP39(计算机的应用)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 李必信、张鹏程、
出版社 北京 : 科学出版社, 2013
ISBN 978-7-03-036039-7
页数 365页 : 图 ; 24cm
价格 CNY80.00
标签
简介
注解 有书目 本书从组合服务建模、测试和验证三个方面着手，介绍了与面向Web服务的软件开发和软件质量保证相关的理论和方法。全书共16章，主要包括Web服务概述、SOA简介、基于UML模型的Web服务组合建模、基于Petri网的Web服务建模等内容。
书籍简介

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