OWL-S based interaction testing of Web Service-based System

Web Service is widely used nowadays, and whether implementation of Web Service-based System composed of individual services, especially interaction among individual services, meets requirements is an important research area in testing Web Service-based System. This paper presents an approach to test interaction of Web Service-based System based on interaction requirements and extends OWL-S model to characterize requirements. The requirements description method based on ontology gives concepts in requirements explicit semantics. The mapping mechanism from requirements property specification to implementation property specification is established, and testing analysis code is automatically generated according to implementation property specification to analyze recorded runtime data. The aim of testing whether implementation meets requirement property is obtained by testing whether implementation satisfies implementation property.