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.
Chapter PDF
Similar content being viewed by others
References
T.O.S. Coalition. Owl-s: Semantic markup for web services (2003)
Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE 2007: Proceedings of the 29th international conference on Software Engineering, pp. 292–301 (2007)
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)
Jorgensen, P.: Software Testing: A Craftman’s Approach. CRC Press, Inc., Boca Raton (2001)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paradkar, A., Sinha, A. (2008). Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds) Service-Oriented Computing – ICSOC 2008. ICSOC 2008. Lecture Notes in Computer Science, vol 5364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89652-4_45
Download citation
DOI: https://doi.org/10.1007/978-3-540-89652-4_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89647-0
Online ISBN: 978-3-540-89652-4
eBook Packages: Computer ScienceComputer Science (R0)