Title :
Formal framework for automated analysis and verification of Web-based applications
Author_Institution :
Departement d´´Informatique et de Recherche Operationnelle, Univ. de Montreal, Que.
Abstract :
We present an ongoing Ph.D. research developing a formal approach for modeling an existing Web application using communicating finite automata model. We build the automata from a recorded browsing session. The obtained model could then be used to verify user-defined properties of the application with a model checker. We present an implementation of the approach that uses the model checker Spin
Keywords :
Internet; finite automata; formal verification; Spin; Web-based applications; automated analysis; automated verification; communicating finite automata model; model checker; Application software; Automata; Automatic testing; Graphical user interfaces; HTML; Logic testing; Performance analysis; Production; Prototypes; Software prototyping;
Conference_Titel :
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Conference_Location :
Linz
Print_ISBN :
0-7695-2131-2
DOI :
10.1109/ASE.2004.1342778
