Literature review on model based software testing techniques

Testing of Software is an important phase in the SDLC. This phase not only help to check the quality of the software. This process of testing is divided in two categories, one is Model Based technique and other is code driven testing. Code driven testing is based on the testing complete code (each and every line). Code driven testing is based on a data flow and control flow that is flow is sequential. In model, based testing approach focus is on executable module not on every line of code; reason of this approach is to support third party components, APIs, modules. One need not to be expert in all domains, the tester will concentrate on the functionality of individual component not on the details of a code used in that component. In this paper the combination of extended finite state machine and sequence diagram is discussed.