DocumentCode
1567028
Title
Formal framework for automated analysis and verification of Web-based applications
Author
Haydar, May
Author_Institution
Departement d´´Informatique et de Recherche Operationnelle, Univ. de Montreal, Que.
fYear
2004
Firstpage
410
Lastpage
413
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Conference_Location
Linz
ISSN
1938-4300
Print_ISBN
0-7695-2131-2
Type
conf
DOI
10.1109/ASE.2004.1342778
Filename
1342778
Link To Document