Abstract | ||
---|---|---|
This paper describes a process to reverse engineer structural and behaviouralformal models of a GUI application by a dynamic technique, mixingmanual with automatic exploration. The goal is to diminish the effort requiredto construct the model and mapping information needed in a model-based GUItesting process. A skeleton of a state machine model of the GUI, represented ina formal pre/post specification language, is generated automatically by the explorationprocess. Mapping information between the model and the implementationis also generated along the way. The model extracted automatically isthen completed manually in order to get an executable model which can be usedas a test oracle. Abstract test cases, including expected outputs, can be generatedautomatically from the final model and executed over the GUI application,using the mapping information generated during the exploration process. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-79707-4_16 | FMICS |
Keywords | Field | DocType |
state machine model,final model,automatic exploration,gui testing,gui application,model-based guitesting process,mapping information,abstract test case,behaviouralformal model,executable model,exploration process,test oracle,reverse engineering,state machine,specification language | Specification language,Programming language,Computer science,Reverse engineering,Oracle,Finite-state machine,Test case,Graphical user interface testing,Executable | Conference |
Volume | ISSN | ISBN |
4916 | 0302-9743 | 3-540-79706-8 |
Citations | PageRank | References |
10 | 0.67 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ana C. R. Paiva | 1 | 145 | 18.69 |
João C. P. Faria | 2 | 56 | 3.22 |
Pedro M. C. Mendes | 3 | 10 | 0.67 |