Software testing is a vital part of the software development process and is used for the purposes of quality assurance, reliability estimation and verification and validation. However, software testing is extremely costly and time consuming. For instance, prior research indicated that more than 50% of the software development cost is devoted to testing. Due to the increased use of the Unified Modeling Language (UML) and model driven architecture approach in systems analysis and design, Model-Based Testing has been discussed as a prominent solution for software testing to address the above problems. This study presents a methodology for determining the test path which can then be further used to determine the test case for Model-Based Testing. Three real-world cases are used to test the usability (including the concepts, application, and advantages) of the proposed methodology. With this approach, software errors can be found at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development.

The aim of the masters thesis is to design and implement a tool for automatic generation of paths in source code. Firstly was acquired a study of model based testing and possible design for the desired automatic generator based on coverage criteria defined on CFG model. The main point of the master theis is the tool design and description of its implementation. The tool supports many coverage criteria, which allows the user of such tool to focus on specific artefact of the system under test. Moreover, this tool is tuned to allow aditional requirements on the size of generated test suite, reflecting real world practical usage. The generator was implemented in C++ language and web interface for it in Python language, which at the same time is used to integrated the tool into Testos platform.