Masoud Vahidi - University of Tehran, Kish campus, Iran
Amir Minbashi - Islamic Azad University, Qazvin Branch, Iran
Farhang Padidaran - Eshragh Institute of Higher Education, Bojnourd, Iran
Mehrdad Masoumi - Islamic Azad University, Qazvin Branch, Iran

It must be today many web services combine to perform their desired operations and to achieve their goals, for they are not able to perform advanced operations alone. In addition, it is not affordable to create a new web service for every new job, however, by combining web services, problems emerge that involve designers and programmers (e.g. problems such as deadlock or being trapped in an infinite loop). The mentioned problems usually occur when web services are combined and running, and can be hardly identified and solved, therefore, a method is required to detect deadlocks and infinite loops during the time of analysis. This papers aims to identify and solve the mentioned problems during the time of analysis by proposing a method for solving them using existing test methods in software engineering. The combination of Checking Model and mode-based test (that are both software test methods) has been used to detect and solve design time errors.

Model based testing, Web services combination, Service oriented architecture,Unit testing