In this article, we have analyzed six test languages. Four proprietary languages been identified that are currently used in avionics for cyclic testing of embedded systems at different levels integration and maturity the system under test. We use Eclipse Modeling Framework with Ecore specialized modeling language to formalize various concepts interest. This will allow us access a number existin...