Dr. Kaner has rightly suggested that testing is a technical investigation; this view is similar to the observation mage by Binder (2000) in ‘Testing Object Oriented Systems’ where he looks at the testing as a search problem. In the vast amount of input, we are looking for just few inputs which will trigger the defect or faulty behaviour of the system. According to the model based testing approach, this search should be systematic, focused and automated.