组合服务建模、测试与验证

丛 书 名：信息科学技术学术著作丛书

版本说明：1

作     者：李必信 张鹏程 

I S B N：(纸本) 9787030360397 

出 版 社：科学出版社 

出 版 年：2013年

页      数：365页

主 题 词：网络服务 互联网络 

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

馆 藏 号：201402967...

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