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

  • Amit Paradkar
  • Avik Sinha
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)


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.


Invariants analysis Service Functional Testing Automated Test Generation 


  1. 1.
    T.O.S. Coalition. Owl-s: Semantic markup for web services (2003)Google Scholar
  2. 2.
    Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE 2007: Proceedings of the 29th international conference on Software Engineering, pp. 292–301 (2007)Google Scholar
  3. 3.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: Swrl: A semantic web rule language combining owl and ruleml (2004)Google Scholar
  4. 4.
    Jorgensen, P.: Software Testing: A Craftman’s Approach. CRC Press, Inc., Boca Raton (2001)Google Scholar
  5. 5.
    Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: Xlinkit: a consistency checking and smart link generation service. ACM Trans. Interet Technol. 2(2), 151–185 (2002)CrossRefGoogle Scholar
  6. 6.
    Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: ICSE 2003: Proceedings of the 25th International Conference on Software Engineering, pp. 455–464 (2003)Google Scholar
  7. 7.
    Paradkar, A., Sinha, A., Williams, C., Johnson, R., Outterson, S., Shriver, C., Liang, C.: Automated functional conformance test generation for semantic web services. In: ICWS 2007. IEEE International Conference on Web Services, pp. 110–117 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Amit Paradkar
    • 1
  • Avik Sinha
    • 1
  1. 1.IBM T J Watson Research CenterNYUSA

Personalised recommendations