Research Development for Model Based Testing