This paper proposes a testing framework called Formal Model Based Test (FMBT). It is a framework to improve embedded system developments with formal specifications, exhaustive test generations, and automatic test executions.