A model based testing technique to test web applications using StateCharts

Proceedings - International Conference on Information Technology: New Generations, ITNG 2008

Volumn , Issue , 2008, Pages 183-188

  Reza, Hassan ^a   Ogaard, Kirk ^a   Malge, Amarnath ^a  

^a UNIVERSITY OF NORTH DAKOTA   (United States)

Author keywords

GUI testing; Model based testing; Statecharts; Test coverage; Web applications

Indexed keywords

GUI TESTING; MODEL-BASED TESTING; STATECHARTS; TEST COVERAGE; WEB APPLICATIONS;

GRAPHICAL USER INTERFACES; INFORMATION TECHNOLOGY; MODEL CHECKING; PROBLEM SOLVING; WEB SERVICES;

SOFTWARE TESTING;

EID: 44049086425     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2008.145     Document Type: Conference Paper

References (11)

1. L. C. Briand, Y. Labiche, Y. Wang, "Using simulation to empirically investigate test coverage criteria based on Statecharts," Proceedings of the 26th International Conference on Software Engineering, 2004.
2. D. Harel, "On visual formalisms," Communications of the ACM, vol. 31, no. 5, pp. 514-530, 1988.
3. G. Gousios, D. Spinellis, "A comparison of portable dynamic web content technologies for the Apache web server," Proceedings of the 3rd International System Administration and Networking Conference, pp. 103119, 2002.
4. T. A. Powell, Web Site Engineering, Prentice-Hall, 1998.
5. J. Alava, P. Clarke, "Model-based test criteria definition for validating annotated web applications," Proceedings of the 2nd MoDeVa Workshop - Model Design and Validation, 2005.
6. M. Chitnis, P. Tiwari, L. Ananthamurthy, "UML tools." http://www.developer.com/design/article.php/1593811
7. A. Andrews, J. Offutt, R. Alexander, "Testing web applications by modeling with FSMs," Software And System Modeling, vol. 4, no. 3, pp. 326-345, 2005.
8. R. Johnsonbaugh, T. Murata, "Petri nets and marked graphs - mathematical models of concurrent computation," American Math. Monthly, vol. 89, no. 8, pp. 552-566, 1982.
9. C. Petri, Kommunikation mit Automaten, University of Bonn, 1962.
10. D. Harel. Statecharts: A Visual Formulation for Complex System. Sci.Comput. Program. 8(3):232-274, 1987.
11. M. Utting, B. Legeard. Practical Model-based Testing: A tools approach. Morgan Kaufmann, 2007.