- 题名/责任者:
- 组合服务建模、测试与验证/李必信, 张鹏程编著
- 出版发行项:
- 北京:科学出版社,2013
- ISBN及定价:
- 978-7-03-036039-7/CNY80.00
- 载体形态项:
- 365页:图;24cm
- 丛编项:
- 信息科学技术学术著作丛书
- 个人责任者:
- 李必信 编著
- 个人责任者:
- 张鹏程 编著
- 学科主题:
- 互联网络-网络服务
- 中图法分类号:
- TP393.4
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书主要介绍在互联网环境下如何对组合服务进行行为建模、组合服务集成测试、回归测试和相关的属性验证。具体内容包括: 从三个主要方面, 即组合服务的建模理论, 组合服务的测试方法和组合服务的属性验证方法, 讨论了如何利用形式化规约理论 (例如交互行为规约IBS: interactivebehaviorspecification) 和可视化建模语言 (例如UML2.0) 进行组合服务行为建模, 如何利用Petri网和标号变迁系统 (LTS) 进行集成测试和回归测试的测试用例自动化生成, 以及如何利用属性序列图进行属性描述和验证等。
全部MARC细节信息>>