| Abstract [eng] |
This work describes and compares essential model-based testing characteristics and the associated testing tool techniques. In the first work part, main parts of the model-based testing process, various modeling languages, and the most commonly used algorithms for generating test cases are presented. Next, an overview of the most commonly used model-based testing tools is given. The following sections present a comparison between three selected model-based testing tools – GraphWalker, ProB, and MBTsuite – based on a common case study, the SIM card file system, used to create system models and generate test cases by each tool. This allows to present and compare the key technological solutions of the analyzed tools, as well as to describe the issues (and their possible solutions) that occurred while creating models and generating test cases with these tools. Based on the determined in advance comparison criteria, the advantages and disadvantages in the model creation and test generation processes are summarized, emphasizing where a specific tool has advantages in comparison to the others. |
