网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 组合服务建模测试与验证/信息科学技术学术著作丛书
分类 教育考试-考试-计算机类
作者 李必信//张鹏程
出版社 科学出版社
下载
简介
编辑推荐

李必信等编著的《组合服务建模测试与验证》从组合服务建模、测试和验证三个方面着手,系统全面地介绍了与面向web服务的软件开发和软件质量保证相关的技术理论和方法。本书适用于软件工程学科专业的教师、研究生和高年级本科生,以及从事面向服务软件开发和质量管理的工程技术人员。

内容推荐

《组合服务建模测试与验证》从组合服务建模、测试和验证三个方面着手,系统全面地介绍了与面向web服务的软件开发和软件质量保证相关的技术理论和方法。全书共16章,其中第1、2章重点介绍了与web服务相关的基础知识,包括基本概念、基本术语以及基本原理;第3、4章重点介绍了web服务的建模技术,包括uML建模和有色Petri网建模;第5~10章重点介绍了各种类型的web服务测试技术和方法,包括单元测试、集成测试、回归测试、变异测试和测试用例生成等;第11~16章重点介绍组合web服务的静态验证和动态监控等技术。

李必信等编著的《组合服务建模测试与验证》适用于软件工程学科专业的教师、研究生和高年级本科生,以及从事面向服务软件开发和质量管理的工程技术人员。

目录

第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服务组合概率时间属性监控

附录缩略词表

结束语

随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/7 10:54:47