Software quality assurance is primarily done by means of testing an activity that faces constraints of both time & resources. Traditional testing strategies obliged the overwhelming resources and infrastructure and it can be carried out after the completion code is created. So to apply some changes after the development obliges loads of effort & cost. It likewise affects the time of deployment. So model based testing is a generally accepted & dynamic approach for quality improvements because it gives affecting mistake detection easily. It gives scalable & systematic solution to the test case reduction problem.