Abstract
A significant challenge in applying model-based testing on software systems is that manually designing the test models requires considerable amount of effort and deep expertise in formal modeling. When an existing system is being modeled and tested, there are various techniques to automate the process of producing the models based on the implementation. Some approaches aim to fully automated creation of the models, while others aim to automate the first steps to create an initial model to serve as a basis to start the manual modeling process. Especially graphical user interface (GUI) applications, including mobile and Web applications, have been a good domain for model extraction, reverse engineering, and specification mining approaches. In this chapter, we survey various automated modeling techniques, with a special focus on GUI models and their usefulness in analyzing and testing of the modeled GUI applications.
Original language | English |
---|---|
Pages (from-to) | 49-112 |
Number of pages | 64 |
Journal | Advances in Computers |
Volume | 95 |
DOIs | |
Publication status | Published - 1 Jan 2015 |
MoE publication type | A1 Journal article-refereed |
Keywords
- Graphical user interfaces
- MBGT
- Model extraction
- Model-based GUI testing
- Reverse engineering
- Specification mining
- Test automation