Nowadays, the web service applications are very popular and have an important role in the fields of social life. This paper, the authors propose a new method to verify and test the behavior model and control model of web service applications. With this method, web application behavior model is converted into the SMV language, the test coverage standard is specified in the language LTL/CTL, and then NuSMV tool is used to verified behavioral model and automatically generates counter example which generates the test.