Integration of the LDRA tool suite creates a solution thata allows models to be checked against coding standards such as MISRA, analyzed for potential quality problems, and instrumented at the source code level so that model-driven tests deliver coverage metrics alongside test results.