Stateful Web Service Robustness

Web Services fall under the so-called emerging technologies category and are getting more and more used for Internet applications or business transactions. Since Web Services are often the foundation of large applications, they need to be reliable and robust. So, we propose in this paper, a robustness testing method of stateful Web Services, modeled with Symbolic Transition Systems \cite{FTW05}. We analyze the Web Service observability and the hazard effectiveness in a SOAP environment \cite{SOAP}. Then, we propose a test case generation method based on the two hazards "Using unusual values" and "Replacing /Adding operation names", which are the only ones that can be applied. The Amazon E-commerce Web Service is taken as example.