On the properties and selection of model-based testing tool and tehcnique

Many studies have demonstrated the various advantages of using model-based testing (MBT) techniques. In spite of the good results achieved in the research community, commercial adoption of MBT has been slower than expected. One reason is that the applied field of commercially available and applicable tools is fragmented, resulting in difficulties of finding the right tool to fit the testing domain and the system under testing (SUT). Another reason is that a large proportion of MBT evaluations are done mostly by researchers using their own chosen tools, which are tailored to fit certain projects. Therefore, there seems to be a lack of adequate guidelines for the selection of MBT tools in different projects and processes. This paper assesses a selection of currently available MBT tools. The assessment focuses on the evaluation of the tools for various benefits and any possible constraints upon them. Finally, a general guideline is given for MBT tools adoption for different domains.