UML Testing Profile
"The UML Testing Profile (UTP) provides extensions to UML to support the design, visualization, specification, analysis, construction, and documentation of the artifacts involved in testing. It is independent of implementation languages and technologies, and can be applied in a variety of domains of development."
Matreshka provides AMF module to access to elements of UML models with applied UML Testing Profile. This allows to develop Model-Driven Testing applications in Ada. Depending from system architecture it can vary from test scenario generator to complete testing framework.