Model-based testing (MBT) is a relatively new approach to software testing that extends test automation from test execution to test design using automatic test generation from models. The effective use of the new approach requires new skills and knowledge, such as test modeling skills, but also good tool support. This paper focuses upon the integration of the TEMA model-based graphical user interface test generator with a keyword-driven test automation framework, Robot Framework. Both of the tools are available as open source. The purpose of the integration was to enable the wide testing library support of Robot Framework to be used in online model-based testing. The main contribution of this paper is to present the integration providing a base for future MBT utilization, but we will also describe a short case study where we experimented with the integration in testing a Java Swing GUI application and discuss early experiences in using the framework in testing Web GUIs.
['Tuomas Pajunen', 'Tommi Takala', 'Mika Katara']
Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework