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

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.

• Karel Frajtak
• Miroslav Bures
• Ivan Jelinek

• Model based testing
• test automation
• test generating
• tester support.

[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.