Abstract
Crafting the models for effective model-based testing
(MBT) requires deep understanding of the problem domain
and expertise on formal modeling, and creating the models
manually from the scratch requires a signicant amount of
effort. 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. Especially graphical user interface (GUI)
applications have been a good domain for reverse
engineering and specication mining approaches, but the
existing academic approaches have limitations and
restrictions on the GUI applications that can be modeled,
and none of them have been adopted by the industry for
testing commercial software. Although using
implementation based models in testing has restrictions
and requires special consideration, the generated models
can be used in automated testing and supporting various
manual testing actions. In this paper we introduce an
industrial approach and platform-independent Murphy tool
set for automatically extracting state models for testing
GUI applications.
Original language | English |
---|---|
Pages (from-to) | 49-54 |
Journal | CEUR Workshop Proceedings |
Volume | 1078 |
Publication status | Published - 2013 |
MoE publication type | A4 Article in a conference publication |
Event | 3rd International Workshop on Experiences and Empirical Studies in Software Modeling, EESSMod 2013 - Miami, United States Duration: 1 Oct 2013 → 1 Oct 2013 |
Keywords
- model-based testing
- graphical user interfaces
- model extraction
- test automation