Utilização do Algoritmo de QSM para automação de testes a partir de cenários Gherkin
Abstract
One of the present challenges in software development is the repre- sentation of requirements in a clear and intuitive way and at the same time make it productively viable in software development and testing - which imply in in- tensive use of automation. To ease this work, various techniques are utilized, as an example, the requirements writing in languages as Gherkin and the cre- ation of formal models. In this work, we aim to unify the advantages offered by both techniques through the proposal of a model for automated generation of test scripts. This model includes the generation of Finite State Machines (FSM), with Gherkin scenarios, using the Query-driven State Merging (QSM) algorithm. Using the resulting FSM, we can use Model-based Testing (MBT) techniques for generation of a more robust set of test cases, which can be used to generate test scripts, in an automatic way too. In this work, we performed a literature review and verified the proposed model through an example of use. In this example, we perceived the viability of the model and the contribution for academy and industry.
References
Dupont, P., Lambeau, B., Damas, C., and Lamsweerde, A. v. (2008). The qsm algorithm and its application to software behavior model induction. Applied Artificial Intelligence, 22(1-2):77–115.
El-Far, I. K. and Whittaker, J. A. (2002). Model-based software testing. Encyclopedia of Software Engineering.
Entin, V., Winder, M., Zhang, B., and Claus, A. (2015). A process to increase the model quality in the context of model-based testing. In Proceedings of the IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops.
Fujiwara, S., Khendek, F., Amalou, M., Ghedamsi, A., et al. (1991). Test selection based on finite state models. IEEE Transactions on Software Engineering, 17(6):591–603.
Li, N., Escalona, A., and Kamal, T. (2016). Skyfire: Model-based testing with cucumber. In Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, pages 393–400.
Seijas, P. L., Thompson, S., and Francisco, M. A´ . (2016). Model extraction and test generation from junit test suites. In Proceedings of the 11th International Workshop on Automation of Software Test, pages 8–14. ACM.
Sivanandan, S. and B, Y. C. (2014). Agile development cycle: Approach to design an effective model based testing with behaviour driven automation framework. In Proceedings of the 20th Annual International Conference on Advanced Computing and Communications.
Wynne, M., Hellesoy, A., and Tooke, S. (2017). The Cucumber Book: Behaviour-Driven Development for Testers and Developers. Pragmatic Programmers. Pragmatic Bookshelf.
