Manual Testing of Web Software Systems Supported by Direct Guidance of the Tester Based On Design Model

Authors: Karel Frajtak, Miroslav Bures, Ivan Jelinek

Abstract:

Software testing is important stage of software development cycle. Current testing process involves tester and electronic documents with test case scenarios. In this paper we focus on new approach to testing process using automated test case generation and tester guidance through the system based on the model of the system. Test case generation and model-based testing is not possible without proper system model. We aim on providing better feedback from the testing process thus eliminating the unnecessary paper work.

Keywords: Model based testing, test automation, test generating, tester support.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1327708

References:

[1] J. Tretmans, "Model-Based Testing and Some Steps towards Test-Based Modelling" in Formal Methods for Eternal Networked Software Systems, vol. 6659, Springer Berlin/Heidelberg, 2011, pp. 297-326.
[2] V. Sawant, K. Shah, "Construction of Test Cases from UML Models" in Technology Systems and Management, vol. 145. Springer Berlin/Heidelberg, 2011, pp. 61-68.
[3] A. Nayak, S. Debasis, "Synthesis of test scenarios using UML activity diagrams" in Software and Systems Modeling, vol. 10, Springer Berlin/Heidelberg, 2011, pp. 63-89.
[4] M. Brambilla, S. Comai, P. Fraternali, M. Matera. "Designing Web Applications with WebML and WebRatio" in Web Engineering: Modelling and Implementing Web Applications (Human-Computer Interaction Series), G. Rossi, O. Pastor, D. Schwabe, L. Olsina (Eds.).. Springer, October 2007.
[5] T. Yue, S. Ali, L. Briand, "Automated Transition from Use Cases to UML State Machines to Support State-Based Testing" in Modelling Foundations and Applications, vol. 6698, Springer Berlin/Heidelberg, 2011, pp. 115-131.
[6] A. Deutsch, L. Sui, V. Vianu, "Specification and verification of data- driven Web applications" in Journal of Computer and System Sciences - JCSS, vol. 73, no. 3, Los Angeles, 2007, pp. 442-474.
[7] P. Fraternali, M. Tisi, "Multi-level Tests for Model Driven Web Applications" in Web Engineering, Lecture Notes in Computer Science, vol. 6189. Springer Berlin/Heidelberg, 2010, pp. 158-172.
[8] S. Vilkomir, J. Bowen, "Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing" in ZB 2002:Formal Specification and Development in Z and B, vol. 2272, Springer Berlin/Heidelberg, 2002, pp. 229-239.