Extended model-based testing toward high code coverage rate

Recently, it has become popular to use applications on window operating systems, such as Microsoft Windows and GNOME, and for this we attempt to use the GUI specific testing approach. Legacy type of approaches, such as control flow path and data flow path testing, are not always effective testing methods for GUI application. Thus, model-based testing was newly established and often used in GUI application testing. But the model-based testing method is not yet mature and has not been researched enough. Our developed model-based testing focuses not only on application behavior but also on data and external factors. In addition, we realized that model-based testing lacks the ability to find some types of defect. In this paper, we will clarify which factors are lacking and offer solutions with case studies.