Model-based Testing Approaches: A Survey

Abstract

Background: Model-based Testing (MBT) is a software testing technique in which the product under test's run-time behavior is compared to model predictions throughout the testing process. Representation of a system's behavior in a model. Actions, conditions, input sequences, output, and data flow from output and input can all be applied to represent behavior. It should be understandable and reusable in practice; the system under test must be described in detail to be shared. This paper studies the preliminaries of MBT. Then, it reviews the prominent approaches in this area and performs a comparative evaluation of the related works. The pros, cons, and open issues of MBT are also investigated.