Title :
OWL-S Based Interaction Testing of Web Service-Based System
Author :
Yu, Ying ; Huang, Ning ; Luo, Qiuzhong
Author_Institution :
Beihang Univ., Beijing
Abstract :
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.
Keywords :
Web services; automatic programming; formal specification; human computer interaction; knowledge representation languages; ontologies (artificial intelligence); program testing; system monitoring; OWL-S based interaction testing; Web service-based system; automatic testing analysis code generation; implementation property specification; interaction requirements; requirements description method; requirements property specification; Automatic testing; Computer science; Delay; Engines; Mechanical factors; Monitoring; Ontologies; Runtime; System testing; Web services; FTLTL; OWL-S; SWRL; Web Service-based System; interaction testing;
Conference_Titel :
Next Generation Web Services Practices, 2007. NWeSP 2007. Third International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-0-7695-3022-2
DOI :
10.1109/NWESP.2007.16