Test and Analysis of Web Services

  • Luciano Baresi
  • Elisabetta Di Nitto

Table of contents

  1. Front Matter
    Pages I-X
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Luciano Baresi, Elisabetta Di Nitto
      Pages 1-7
  3. Analysis

    1. Front Matter
      Pages 9-9
    2. Tevfik Bultan, Xiang Fu, Jianwen Su
      Pages 57-85
    3. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
      Pages 87-119
    4. Natasha Sharygina, Daniel Kröning
      Pages 121-145
  4. Testing

    1. Front Matter
      Pages 147-147
    2. Daniel Lübke
      Pages 149-171
    3. Marc Lohmann, Leonardo Mariani, Reiko Heckel
      Pages 173-204
    4. Massimiliano Di Penta, Marcello Bruno, Gianpiero Esposito, Valentina Mazza, Gerardo Canfora
      Pages 205-234
  5. Monitoring

    1. Front Matter
      Pages 235-235
    2. Carlo Ghezzi, Sam Guinea
      Pages 237-264
    3. Khaled Mahbub, George Spanoudakis
      Pages 265-306
    4. Marco Pistore, Paolo Traverso
      Pages 307-335
  6. Reliability, Security, and Trust

    1. Front Matter
      Pages 337-337
    2. Vittorio Cortellessa, Vincenzo Grassi
      Pages 339-362
    3. Marco Cova, Viktoria Felmetsger, Giovanni Vigna
      Pages 363-394
    4. Abbie Barbir, Chris Hobbs, Elisa Bertino, Frederick Hirsch, Lorenzo Martino
      Pages 395-440
    5. Sachiko Yoshihama, Tim Ebringer, Megumi Nakamura, Seiji Munetoh, Takuya Mishina, Hiroshi Maruyama
      Pages 441-469
  7. Back Matter
    Pages 471-474

About this book


The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration.

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 to clearly distinguish between the predeployment validation of a system and its use, nor is it possible to guarantee that the checks passed at a certain time will be passed at a later time and in the actual execution environment as well.

Baresi and Di Nitto have put together the first reference on all aspects of testing and validating service-oriented architectures, taking into account these inherent intricacies. The contributions by leading academic and industrial research groups are structured into four parts on: 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.

This monograph is an initial source of knowledge for researchers in both academia and industry in the field of service-oriented architecture validation and verification approaches. They 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.


SOA Service Oriented Architecture (SOA) Service-Oriented Architecture Web Services Web-based Applications Workflow Management architecture development middleware modeling reliability security testing validation verification

Editors and affiliations

  • Luciano Baresi
    • 1
  • Elisabetta Di Nitto
    • 1
  1. 1.Dipto. Elettronica InformazionePolitecnico di MilanoItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-72911-2
  • Online ISBN 978-3-540-72912-9
  • Buy this book on publisher's site