Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally important application area, which introduces new challenges. In this paper, we introduce a new methodology for model-based GUI testing. This includes using Labeled Transition Systems (LTSs) in conjunction with action word and keyword techniques for test modeling. We have also conducted an industrial case study where we tested a mobile device and were able to find previously unreported defects. The test environment included a standard MS Windows GUI testing tool as well as components implementing our approach. Assessment of the results from an industrial point of view suggests directions for future development.

Model-based testing has not been widely deployed in industry yet. There seem to be both technical and non-technical reasons for this situation. A survey among mobile software testing professions in Finland was conducted that aimed at investigating possible obstacles and opportunities towards wider deployment of this technology. This paper discusses the results and provides conclusions that indicate that at least in this context, there is much interest among practitioners towards the technology. However, more research is needed to make model creation and maintenance as easy as possible. In addition, metrics should be developed that can be used to report test results in the same manner as using existing testing techniques, enabling comparison between different approaches. Special emphasis should also be placed on enabling quick bug localization. Furthermore, it seems that successful pilot projects are a key to wider industrial adoption. Based on the survey findings, an agenda for the future model-based testing research is outlined.

No abstract

Abstract.Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in industrial contexts. We are developing a domain-specific MBT solution for graphical user interface (GUI) testing of Symbian S60 smartphone applications. We believe that such a tailor-made solution can be easier to deploy than ones that are more generic. In this paper, we present a service concept and an associated web interface that hide the inherent complexity of the test generation algorithms and large test models. The interface enables an easy-to-use MBT service based on the well-known keyword concept. With this solution, a better separation of concerns can be obtained between the test modeling tasks that often require special expertise, and test execution that can be performed by testers. We believe that this can significantly speed up the industrial transfer of model-based testing technologies, at least in this context.

No abstract