论文信息 - A Model Based Testing Technique to Test Web Applications Using Statecharts

A Model Based Testing Technique to Test Web Applications Using Statecharts

In this paper, we discuss a model based software testing method for testing of the Web applications using StateCharts. To this end, we briefly describe the test coverage technique, editorial tools for drawing StateCharts, modeling concurrency in Web applications, and test metrics. A simple Web application has been used to show the feasibility of our approach.

[1] Diomidis Spinellis,et al. A Comparison of Portable Dynamic Web Content Technologies for the Apache Server , 2002 .

[2] Lionel C. Briand,et al. Using simulation to empirically investigate test coverage criteria based on statechart , 2004, Proceedings. 26th International Conference on Software Engineering.

[3] Jonatan Alava,et al. Model-Based Test Criteria for Validating Annotated Web Applications , 2005 .

[4] A. Jefferson Offutt,et al. Testing Web applications by modeling with FSMs , 2005, Software & Systems Modeling.

[5] David Harel,et al. On visual formalisms , 1988, CACM.

[6] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7] Axel C. Schwickert,et al. Web Site Engineering , 2001 .

[8] Tadao Murata,et al. Petri Nets and Marked Graphs–Mathematical Models of Concurrent Computation , 1982 .

[9] C. Petri. Kommunikation mit Automaten , 1962 .