loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th Annual International Computer Software and Applications Conference (COMPSAC'06)
Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria
Chicago, Illinois
September 17-September 21
ISBN: 0-7695-2655-1
Jonatan Alava, Florida International University, USA
Tariq M. King, Florida International University, USA
Peter J. Clarke, Florida International University, USA
There continue to be advances in the automation of Web application development, however testing these applications remains mainly a manual process. In this paper we present a methodology to test page flows using traditional test coverage criteria in conjunction with an automated testing tool. The criteria is applied in the context of page flows and transformed into: All Pages, All Actions, All Links, and All Forwards. We define a state-based model of the application using information from the page flow and then use this model as the basis for generating a script to be executed by the automated testing tool. This finite state machine (FSM) also models the various combinations of inputs associated with the user interface of the application. During execution of the script, test cases are randomly generated using the FSM along with textual input from a pre-defined data pool. The adequacy of the test coverage based on the criteria for the page flow is determined by analyzing the elements covered during execution of the test script.
Index Terms:
Testing and Debugging, Model Validation and Analysis
Citation:
Jonatan Alava, Tariq M. King, Peter J. Clarke, "Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria," compsac, vol. 1, pp.439-446, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.