Formal specification to support advanced model based testing

Reliability and correctness of a web application are crucial factors to its success. Errors occurring in non-deterministic moments do not attract the target audience of the application. It is quite impossible to deliver 100% reliable application. Hidden errors are discovered when target users are using the application. With proper tooling and support the time between the error discovery or report and the error elimination can be reduced. In this paper we are proposing formal model for a model based improvement of a testing process of the web application. Our goal is to create a formal model and design a testing framework based on the direct guidance of a tester through the testing process, verifying his steps and providing better feedback.