Does my service have unspecified behavior?
by Kathrin Kaschner and Niels Lohmann
Abstract. Services are loosely coupled interacting software components. Since a service is not executed in isolation, but in composition with other services, its implemented behavior must not differ from its specification. In this paper, we propose an approach to generate test cases which can be used to detect unspecified behavior in an implemented service. Due to the interacting nature of services this is a nontrivial task.
Appeared as unreviewed workshop paper in Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009.