[书籍] 组合服务建模、测试与验证
出版社:
科学出版社
简介:
《组合服务建模、测试与验证》主要介绍在互联网环境下如何对组合服务进行行为建模、组合服务集成测试、回归测试和相关的属性验证。具体内容包括：从三个主要方面，即组合服务的建模理论，组合服务的测试方法和组合服务的属性验证方法，讨论了如何利用形式化规约理论（例如交互行为规约IBS：interactivebehaviorspecification）和可视化建模语言（例如UML2.0）进行组合服务行为建模，如何利用Petri网和标号变迁系统（LTS）进行集成测试和回归测试的测试用例自动化生成，以及如何利用属性序列图进行属性描述和验证等。
用户推荐(0)
暂无推荐，你也可以发布推荐哦:)
0
人收藏了这本书籍
广告
登录 | 立即注册