|
Test and Analysis of Web Services
In this hugely topical book, the authors have put together the first reference on all aspects of testing and validating service-oriented architectures.
The highly dynamic characteristics of service-oriented applications means their validation is a continuous process that often runs in parallel with execution. It is not possible either to
clearly distinguish between the pre-deployment validation of a system and its use, or to guarantee that the checks passed at a certain time will be passed at a later time and in the actual execution environment.
This book explores these inherent intricacies and its expert contributors offer detailed guidelines for the actual validation process.
The text is well structured, dividing the subject into four parts: static analysis to acquire insight into how the system is supposed to work, testing techniques to sample its actual behavior, monitoring to probe its operational performance and nonfunctional requirements like reliability and trust.
Readers will find a comprehensive survey of state-of-the-art approaches as well as techniques and tools to improve the quality of service-oriented applications. Usefully, there are also references and scenarios for future research and development.
Contents
1 Introduction
Luciano Baresi and Elisabetta Di Nitto
Part I Analysis
2 Specifying and Monitoring Service Flows: Making Web
Services Process-Aware
W.M.P. van der Aalst and M. Pesic
3 Analyzing Conversations: Realizability, Synchronizability,
and Verification
Tevfik Bultan, Xiang Fu and Jianwen Su.
4 WS-Engineer: A Model-Based Approach to Engineering
Web Service Compositions and Choreography
Howard Foster, Sebastian Uchitel, Jeff Magee and Jeff Kramer
5 Model Checking with Abstraction for Web Services
Natasha Sharygina and Daniel Kroning
Part II Testing
6 Unit Testing BPEL Compositions
Daniel Lubke
7 A Model-Driven Approach to Discovery, Testing
and Monitoring of Web Services
Marc Lohmann, Leonardo Mariani and Reiko Heckel
8 Web Services Regression Testing
Massimiliano Di Penta, Marcello Bruno, Gianpiero Esposito,
Valentina Mazza and Gerardo Canfora
Part III Monitoring
9 Run-Time Monitoring in Service-Oriented Architectures
Carlo Ghezzi and Sam Guinea
10 Monitoring WS-Agreement s: An Event Calculus - Based
Approach
Khaled Mahbub and George Spanoudakis
11 Assumption-Based Composition and Monitoring of Web
Services
Marco Pistore and Paolo Traverso
Part IV Reliability, Security, and Trust
12 Reliability Modeling and Analysis of Service-Oriented
Architectures
Vittorio Cortellessa and Vincenzo Grassi
13 Vulnerability Analysis of Web-Based Applications
Marco Cova, Viktoria Felmetsger and Giovanni Vigna
14 Challenges of Testing Web Services and Security in SOA
Implementations
Abbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch
and Lorenzo Martino
15 ws-Attestation: Enabling Trusted Computing on Web
Services
Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh,
Takuya Mishina and Hiroshi Maruyama
Index
|
