期刊名称：International Journal of Computer Information Systems and Industrial Management Applications
印刷版ISSN：2150-7988
电子版ISSN：2150-7988
出版年度：2014
期号：6
页码：206-216
出版社：Machine Intelligence Research Labs (MIR Labs)
摘要：As Web Services are more and more mature and popular, large numbers of practical Web Services are published on Internet and they are increasingly integrated together, forming Web Services systems to carry out coherent tasks. However, the distributed application of Web Services always involves plenty of standard protocols and various runtime behaviors. Therefore automated testing of Web Services becomes more difficult than testing previous paradigms for software application development. In this paper we propose a series of applicable automated testing algorithms and implement an automatic testing prototype system for Web Services system based on OWL-S (Web Language for Services). First, deduce abstract test cases from interaction requirement properties of Web Services system. The properties are included in OWL-S Requirement Model extended by our research group. Second, specify test cases according to SWRL (Semantic Web Rule Language) properties and abstract test cases. In consideration of the attributes of Fit (Framework for Integrated Test), specific test case is formatted in tables and then html document. Finally, generate mutants under AOP (Aspect-Oriented Programming) technology support, drive them by specific test cases using improved Fit, and then kill mutants based on business logic implied in Requirement Model. We employ two sufficient measurement criteria to evaluate testing process. Experiments have shown that our algorithms are feasible and efficient, and the prototype system not only meets the applied demands but also performs well as an automated testing tool for Web Services system.
关键词：automated testing; Web Services system; OWL-S ; Requirement Model; specific test case generation; mutant; sufficient ; measurement criteria
