History


Tampere University of Technology, Department of Pervasive Computing (previously Software Systems) has been active in the MBT research since 1998. The main source of funding has been Tekes. The first project was called RATE and it was part of the Tekes ETX technology program. Tekes, Nokia Research Center, and Conformiq Software funded the next project named SASOKE. The project began in 2002 and focused on theory and tools for MBT of reactive systems. Both of these projects were headed by Prof. Antti Valmari. Together, SASOKE and RATE projects resulted in scientific publications as well as a prototype tool for MBT.

The next short-term industry funded project called TeAmS was headed by Dr. Mika Katara. The project applied the results of SASOKE and RATE to develop a simple methodology and the associated test automation architecture for model-based GUI testing of S60 smartphone applications. The results of the TeAmS project were promising and thus the work was continued in the TEMA project. TEMA was funded by Tekes and four industrial partners: Nokia, Conformiq Software, F-Secure, Plenware. The project started in August 2005 and ended in July 2008. The goal of the TEMA project was to develop an industrial-strength methodology for model-based GUI testing in the S60 domain. This involved theory and tool development as well as case studies with the industrial parties. One of the strengths of the TEMA methodology is that it enables the automated testing of concurrent behaviors, for instance interactions between the different applications. The results of the project have been made available to the public in the form of scientific publications and the TEMA toolset for online MBT released under the MIT open source license. The first public release of the toolset was in the spring 2007. The open source scheme enables further research projects that extend the toolset produced in TEMA.

After the TEMA project, TUT/DSS conducted two research projects called AMOEBA-TESTING and MBT-MOSE that leveraged TEMA’s results. The former was funded by the Academy of Finland from the beginning of the year 2008. This three-year project built on the results of the TEMA project and included tasks that have been identified as necessary in the course of the TEMA project. The results of that project included an improved toolset support for domain-specific test modelling and debugging of long error traces. Moreover, we have researched processes and metrics in order to facilitate industrial deployment of the MBT technology.

The MBT-MOSE project built on the results of both TEMA and AMOEBA. The two-year project was funded by TEKES and seven industrial partners: Nokia, Symbio, Ixonos, Cybercom Plenware, F-Secure, Qentinel, and Prove Expertise. While improving the technological side of model-based GUI testing, one of the main goals of this project was to identify business models that can be used to offer services based on MBT. Both MBT-MOSE and AMOEBA projects were finished by the end of 2010. The results of the AMOEBA and MBT-MOSE projects have been reported in the research publications as well as industry conferences such as EuroSTAR and ignite Nordic. Also three doctoral dissertations have been related to the MBT projects at TUT: Antti Kervinen 2008, Jani Metsä 2009 and Antti Jääskeläinen 2011.