Testing Based On Models And Criteria