| http://www.w3.org/ns/prov#value | - 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.
|
