Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation

  • Authors:

  • Amit Paradkar;Avik Sinha

  • Affiliations:

  • IBM T J Watson Research Center, NY, USA 10532;IBM T J Watson Research Center, NY, USA 10532

  • Venue:
  • ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a technique which enables a novel specify once, test everywhere paradigm by exploiting invariants in a reference ontology. In our approach, each service operation is described in an IOPE paradigm: Input, Output, Precondition and Effect. Our approach augments the service description by creating additional service fault specifications to describe the exceptional behaviors which may arise as a result of invariant violations. We describe our invariant analysis technique and present experimental results which justifies the underlying intuition.