Classical model based testing theory is focused primarily on testing reactive systems, communicating systems with discrete input and output messages/interactions.
Testing GUI applications, such as web applications and desktop applications, differs from testing reactive systems in various ways. For example, a GUI rarely responds with a discrete message. Instead, the tester will need to observe the GUI for changes in the shown content.
Axini is very interested in testing GUI applications. For this, we need to investigate which concepts are used/needed for testing such application and how they relate with the classical model based testing approach.
We expect that GUI testing can be expressed in generic interactions: e.g. observing, clicking, typing. If this is the case, it should be possible to develop a generic adapter that can be used to test many different applications.
Possible research questions:
- What concepts are needed/used for testing GUI applications?
- How do the concepts of testing GUI applications fit within the classical MBT theory?
- What does model based testing of GUI applications look like in practice?
- Is it possible to define a generic adapter for GUI interactions?
- A literature study on how other domains approach GUI testing
- Some theory that relates the concepts of GUI testing with the classical MBT theory
- A proof of concept that shows how model based GUI testing could look like
- A case study that evaluates the selected approach using the proof of concept