Um estudo de caso com a ferramenta de teste baseado em modelo XState

Abstract

The application of tests is essential when looking to value the quality of software in the development process. Several approaches in the literature aim to automate this process, seeking to shorten the implementation time and expand the test coverage in relation to the software requirements in question. One such approach is known as model-based testing (MBT). This approach proposes the derivation of test cases through a model based on the requirements of one or more software flows. As it is a theoretical approach, it is possible to apply the concepts of MBT in numerous areas of development, using the most varied techniques and technologies. This work carries out a case study by comparing the results of two MBT approaches, each one developed using different technologies, but inserted in the context of Web applications. The first approach, called MoLeWe, developed in the Java language, with the use of the framework Selenium WebDriver and using the event sequence graphs (ESG) modeling technique to create the models that later will be used to generate the test cases. The second approach was applied in a set of applications using JavaScript and the frameworks XState and Cypress, as well as the finite state machine (FEM) technique for modeling. Metrics obtained in the application of the XState approach were collected and compared with the results of the MoLeWe approach, which allowed highlighting positive and negative points of the first approach in relation to the second. Considering the ability to achieve code coverage close to MoLeWe, the techniques and technolo- gies of the XState approach proved to be a possible choice for the application of TBM concepts.