Abstract. Model-based testing (MBT) of software systems is considered and the well-known methods and tools for MBT are reviewed. These methods allow automating the procedures performed by a software testing engineer and significantly increase software system testing quality. The MBT technology, its components, and main tools are described in the paper. The list of problems and challenges in MBT usage is defined. The symbolic approach is presented, which allows resolving some of the existing MBT problems, especially symbolic-based Generic Trace Generator. This tool was developed at the V.M. Glushkov Institute of Cybernetics. For the first time ever, the symbolic approach was extended for test execution process, which improves the MBT technology in modern industry.

Keywords: model-based testing, symbolic modeling, basic protocol, verification, execution of tests, user scenario.