Firstly a structural model of a web application is obtained.
Then test cases which verify the restrictions are created using
several ontologies. At the final steps Selenium is used for
executing test scripts and assigning verdicts. The analysis and
testing techniques proposed in this paper were successfully
applied to several real world Web applications.