Functional Test Generation Based on Requirements Defined at GUI Level

Software testing is a crucial phase of software development. Automated testing is a powerful solution that can address many problems of the manual approach, limiting the time spent on the process. This paper proposes a model-based method of generating functional tests verifying OCL constraints defined at the GUI level. The method involves extracting the model and constraints, defining test cases, and automating test execution. A proof-of-concept tool was implemented as a feasibility study of the method. The tool named Contester integrates existing tools and libraries, adding unique features to them. In contrast to existing tools, it covers the entire testing process, requiring only a small extension of a web component under test.