Software testing is a major component of software development lifecycle and it’s time consuming. the testing used the particular time in testing is generally disturbed with generating the test cases and correctly testing them. although some people apply k means clustering algorithm to the test suite reduction, the algorithm is unstable and seldom considers the coverage rate of such test cases. | Model driven testing based on functional test case generation with redundancy check