While the industry has recognized the value of modeling and code generation, the role of verification has taken a limited second tier role. Model Based Testing (MBT) is typically discussed in the context of automation of testing activities to eliminate the burden of generation and execution of tests. Unfortunately, this objective of effort minimization has skewed solutions away from using quality as a guiding metric. Alternatively, we have identified the simple objective of increasing the quality of testing practices and productivity of developers. In the following paper we introduce the integration of traditional software quality practices of functional, unit, and regression testing with the automated, model-driven world. This approach enables a quantitative approach to model driven software quality. The result is a robust technique that enables confident use of model-based development for production applications.
